LOGICA BINARIA
Enviado por yairr134 • 6 de Febrero de 2014 • 360 Palabras (2 Páginas) • 234 Visitas
La lógica proposicional sólo puede representar hechos acerca del mundo.
La lógica de primer orden describe un mundo que consta de objetos y propiedades (o predicados) de esos objetos.
Entre los objetos, se verifican varias relaciones p.ej.
Progenitor(Marcos, José).
Una función es una relación en la cual sólo hay un valor para un input dado.
Ejemplos
Objetos: gente, casas, números, planetas,...
Relaciones: progenitor, hermano-de, mayor-que,...
Propiedades: rojo,
La lógica proposicional sólo puede representar hechos acerca del mundo.
La lógica de primer orden describe un mundo que consta de objetos y propiedades (o predicados) de esos objetos.
Entre los objetos, se verifican varias relaciones p.ej.
Progenitor(Marcos, José).
Una función es una relación en la cual sólo hay un valor para un input dado.
Ejemplos
Objetos: gente, casas, números, planetas,...
Relaciones: progenitor, hermano-de, mayor-que,...
Propiedades: rojo,
La lógica proposicional sólo puede representar hechos acerca del mundo.
La lógica de primer orden describe un mundo que consta de objetos y propiedades (o predicados) de esos objetos.
Entre los objetos, se verifican varias relaciones p.ej.
Progenitor(Marcos, José).
Una función es una relación en la cual sólo hay un valor para un input dado.
Ejemplos
Objetos: gente, casas, números, planetas,...
Relaciones: progenitor, hermano-de, mayor-que,...
Propiedades: rojo,
La lógica proposicional sólo puede representar hechos acerca del mundo.
La lógica de primer orden describe un mundo que consta de objetos y propiedades (o predicados) de esos objetos.
Entre los objetos, se verifican varias relaciones p.ej.
Progenitor(Marcos, José).
Una función es una relación en la cual sólo hay un valor para un input dado.
Ejemplos
...