- Respuestas a las siguientes preguntas:
1.- ¿De qué trata la lógica formal de primer orden? ¿Cuáles son los sistemas formales en esta teoría?
-La lógica de primer orden se encarga de comprobar la validez de los razonamientos deductivos mediante unos ciertos sistemas formales formados por lenguajes formales, sistemas deductivos y semánticas formales, y es ajeno al contenido empírico del sistema.Entre otros sistemas formales se encuentran : Polivalente 2, Difusa(Fuzzy), Probabilística, temporal ,etc…
2.- ¿Qué es un razonamiento deductivo y cuáles son sus componentes?
– El razonamiento deductivo es aquel que se basa en casos generales para hacer afirmaciones sobre casos individuales.Utiliza una o mas premisas para llegar a una conclusión y nunca aporta nueva información.Consta de unas ciertas proposiciones(premisas), una conclusión y un conjunto de reglas de inferencia.
- Un par de ejemplos de razonamientos deductivos que parezcan correctos pero que no lo sean y otros dos que sí lo sean.
P1: Si Raul entrena todos los días entonces ganara siempre.
P2: Raul entrena todos los dias
Q : Raul ganara siempre.(Verdadera)
P1: Si hago los deberes entonces sacare buena nota.
P2: He hecho los deberes.
Q : Voy a sacar buena nota.(Verdadera)
P1: Si Raquel tiene carnet de conducir entonces conducirá un coche .
P2: Raquel conduce un coche.
Q : Raquel tiene carnet de conducir.(Falsa)
P1: Si un alumno estudia entonces aprobara el examen.
P2: El alumno ha aprobado el examen
Q : El alumno ha estudiado.(Falsa)
- Si escribes en blog: detecta, de manera intuitiva, dónde “fallan” los razonamientos de otros compañeros (al menos de dos), y explícalo.
– No he encontrado ningun blog de ningun compañero en donde sacar un fallo.
- Escribe algún link “interesante” que pueda aclararnos un poco más este tema o que aporte algo diferente y que consideres importante o curioso.
– http://web.ing.puc.cl/~jabaier/iic2212/lpo1.pdf
– http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/Legris/apuntes/DEDNAT09.pdf