1.- ¿De qué trata la lógica formal de primer orden? ¿Cuáles son los sistemas formales en esta teoría?
La lógica formal de primer orden es la parte de la lógica que se dedica al estudio de la validez de los razonamientos deductivos desde el punto de vista de su análisis formal mediante la construcción de un sistema formado por lenguajes formales, sistemas deductivos y semánticas formales.
Los sistemas formales que apoyan esta teoría son los sistemas formados por lenguajes formales, sistemas deductivos y semánticas formales.
2.- ¿Qué es un razonamiento deductivo y cuáles son sus componentes?
El razonamiento deductivo se caracteriza porque permite hacer afirmaciones sobre casos particulares partiendo de casos generales. Es una forma de razonamiento donde se obtiene una conclusión a partir de una o varias premisas, entendiendo éstas como la información previa conocida y la conclusión como la información que se afirma a partir de dichas premisas. La obtención de la conclusión se hace a través de un proceso deductivo llamado deducción o inferencia.
Un razonamiento deductivo esta formado por:
-
Un conjunto de proposiciones iniciales,llamadas premisas, que declaran informacion sobre el problema que se quiere resolver.
-
Reglas de inferencia que nos permiten obtener conocimiento a partir de otro conocido.
-
Una proposición llamada conclusión del razonamiento que da respuesta al problema y que indica que el proceso ha terminado.
Un par de ejemplos de razonamientos deductivos que parecen correctos pero que no lo son:
P1:Si Pepe va al cine compra palomitas.
P2:Pepe va al cine.
Q: Pepe compra palomitas.
P1:Si salgo con el paragüas de casa es porque está lloviendo.
P2:Salgo con el paragüas de casa.
Q:Está lloviendo.
Dos que sí lo son:
P1:Antonio y Juan son hermanos de Ana.
Q:Antonio es hermano de Ana.
P1:Si corro todos los dias estaré más en forma.
P2:Corro todos los días.
Q:Estaré más en forma.
Link interesante sobre lógica de primer orden:
http://www.robot.uji.es/docencia/II28/teoria/transparencias-tema06.pdf