\u0001<\/p>\n
1.- \u00bfDe qu\u00e9 trata la l\u00f3gica formal de primer orden? \u00bfCu\u00e1les son los sistemas formales en esta teor\u00eda?<\/strong><\/p>\n -La\u00a0l\u00f3gica\u00a0de primer orden se encarga de comprobar la validez de los razonamientos deductivos\u00a0mediante\u00a0unos ciertos sistemas formales formados por\u00a0lenguajes formales, sistemas deductivos y sem\u00e1nticas formales, y es ajeno al contenido emp\u00edrico del sistema.Entre otros sistemas formales se encuentran : Polivalente 2, Difusa(Fuzzy), Probabil\u00edstica, temporal ,etc…<\/p>\n 2.- \u00bfQu\u00e9 es un razonamiento deductivo y cu\u00e1les son sus componentes?<\/strong><\/p>\n – 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\u00a0conclusi\u00f3n\u00a0y nunca aporta nueva\u00a0informaci\u00f3n.Consta de unas ciertas proposiciones(premisas), una\u00a0conclusi\u00f3n\u00a0y un conjunto de reglas de inferencia.<\/p>\n <\/p>\n P1: Si Raul entrena todos los\u00a0d\u00edas\u00a0entonces ganara siempre.<\/p>\n P2: Raul entrena todos los dias<\/p>\n Q : \u00a0Raul ganara siempre.(Verdadera)<\/p>\n <\/p>\n P1: Si hago los deberes entonces sacare buena nota.<\/p>\n P2: He hecho los deberes.<\/p>\n Q : \u00a0Voy a sacar buena nota.(Verdadera)<\/p>\n <\/p>\n P1: Si Raquel tiene carnet de conducir entonces\u00a0conducir\u00e1\u00a0un coche .<\/p>\n P2: Raquel conduce \u00a0un coche.<\/p>\n Q : \u00a0Raquel tiene carnet de conducir.(Falsa)<\/p>\n <\/p>\n P1: Si un alumno estudia entonces aprobara el examen.<\/p>\n P2: El alumno ha aprobado el examen<\/p>\n Q : \u00a0El alumno ha estudiado.(Falsa)<\/p>\n – No he encontrado ningun blog de ningun compa\u00f1ero en donde sacar un fallo.<\/p>\n <\/p>\n –\u00a0http:\/\/web.ing.puc.cl\/~jabaier\/iic2212\/lpo1.pdf<\/a><\/p>\n\n
\n<\/strong><\/p>\n\n
\n