El lenguaje formal de la lógica de primer orden (LPO), es uno de los lenguajes más potentes para la representación del conocimiento en teoría de la computación, carece de ambigüedades y posee una forma clara de representación basada en la forma y no en el contenido, se puede realizar en dos niveles de abstracción:
lenguaje proposicional
lenguaje predicativo.
| Ambos lenguajes se componen de:
– Letras: variables proposicionales. – Las siguientes conectivas lógicas: |
 |
Comments
One response to “Capítulo 2 “El lenguaje de la lógica””
Tks…
I’ve visited many blogs,forums, but this time:How your fantastic forum is . It makes me surprise….