Category: Lógica
-
Capítulo 6 “Deducción Natural”
La deducción natural consiste en obtener todas las conclusiones que se deducen basandose en la elección de una regla de inferéncia que aplicado a una o varias fbfs obtiene una nueva fbf y termina cuando se obtiene la fbf conclusión, es una método cercano al razonamiento intuitivo del ser humano, básicamente hay que: Descomponer las…
-
Capítulo 5 “Tablas de verdad y Contraejemplo”
En la lógica de primer orden el significado semántico que tiene una proposición se conoce como el valor de verdad de dicha proposición, respetando siempre el principio de bivalencia que dice que una proposición atómica puede tomar uno de los dos valores de verdad verdadero o falso. “El perro es el mejor amigo del hombre”.…
-
Capítulo 4 “Lenguaje de Predicados”
En el lenguaje de predicados, la construcción de las fórmulas lógicas se realiza teniendo en cuenta no sólo las conexiones posibles entre proposiciones sino que en cada una de ellas se distingue a los individuos y a sus propiedades, ademas de letras y conectivas lógicas, el lenguaje de predicados lo componen constante, funciones y cuantificadores.…
-
Capítulo 3 “Lenguaje Proposicional”
El lenguaje proposicional nos permite construir fórmulas lógicas proposicionales fbf (fórmulas bien formadas) a partir de proposiciones atómicas y moleculares, como ya he dicho este lenguaje se compone de letras (variables proposicionales) y de conectivas lógicas para relacionar las variables entre sí. Ejemplo: (A = Javier estudia) ¬ A = Javier no estudia También debemos…
-
Capítulo 2 “El lenguaje de la lógica”
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…
-
Capítulo 1 “Conceptos básicos de la lógica”
Lógica: Gran parte de los problemas se resuelven razonando, la lógica es la ciencia que estudia los métodos para desarrollar el proceso de razonar. Razonar: Es la facultad humana que permite resolver problemas por medio de actividades mentales que conectan unas ideas con otras, existen dos tipos de razonamiento. El Razonamiento Inductivo parte de hechos…