| Question | Answer |
| Que es una variabe | Una variable es una particula atomica que define un objeto indefinido |
| Diferencias entre funcion & predicado | Funcion-> Representa al CONCEPTO, argumentos
Predicado-> Representa la RELACION entre elementos, terminos |
| Definicion de Logica | Es la ciencia que estudia los razonamientos formalmente validos |
| Que es la solidez | Es el calculo deductivo para generar formulas validas |
| Definicion de Formula Normal | Las FN son expresiones que se consideran patrones sobre los que dirigir el estudio de la logica |
| Definicion de Conjunto | Coleccion no ordenada de elementos |
| Definicion de Lenguaje Formal | Sistema formado por una coleccion de simbolos primitivos (alfabeto) y una serie de reglas (sintaxis) para conectarlos |
| Definicion de f.b.f | Expresion resultante de aplicar las reglas gramaticales |
| Definicion de razonamiento |- | Serie de conceptos encaminados a demostrar algo o a persuadir o mover a oyentes o lectores |
| Razonamiento inductivo
vs
Razonamiento deductivo | Inductivo -->conclusiones GENERALES desde premisas FINITAS
Deductivo -->premisas GENERALES sacamos conclusiones PARTICULARES |
| Definicion de interpretacion/asignacion | Es una funcion (v1) que asigna a cada formula atomica una constante {V/F} |
| Definicion de Orden debil | Reflexiva
Asimetrica
Transitiva |
| Definicion de Orden Estricto | Ireflexiva
Antisimetrica
Transitiva |
| Definicion de Relacion de Equivalencia | Reflexiva
Simetrica
Transitiva |
| Definicion de arbol semantico | Representacion de interpretaciones
#
p ¬p
| |
V V |
| Definicion de Tableaux | Saber que interpretacion es valida |
| Decidible
Semidecidible
Indecidible | Procedimiento para determinar la consistencia & inconsistencia
Procedimiento para determinar la inconsistencia y a veces la consistencia
NADA |
| Diferencias entre
|= y |- | |= trabajamos con la interpretacion de los atomos
|- trabajamos con las reglas de inferencia |
| FNC vs FND | FNC solo sirve para saber si es TAUTOLOGIA
FND solo sirve para saber si es CONTRADICCION |
| Porque es necesario L1 | Porque L1 tiene mayor capacidad expresiva que L0 |
| 5 estrategis de Deduccion Natural | Deduccion directa
Prueba por casos
tº de la deduccion
reduccion al absurdo
Demostracion de teoremas |
| Principio de la no contradiccion | Una proposicion no puede ser V y F a la vez |
| Principio del 3º excluido | Una proposicion debe ser V o F |
| Argumentacion logica valida | Es un conjunto de premisas seguido de una conclusion |
| Cuantos tipos de oraciones logicas existen? | Satisfacible
Contingencia
Contradiccion
Tautologia |
| Definicion de termino en L1 | Cadena de simbolos que representan los individuos |
| Definicion de proposicion | Es el significado de una oracion declarativa |
| Logica Proposicional vs Logica de predicados | Proposicional-> proposiciones como elementos atomicos
Predicados-> considera lo que afirma cada objeto |
