Lógica proposicional Flashcards
Modelo
una interpretación que hace verdadera una fórmula
Tautologia
Todas las interpretaciones son verdaderas
Contingencia
Hay interpretaciones verdaderas y falsas
Contradicción
Todas las interpretaciones son falsas
Satisfacible
Tiene un modelo, es decir, si y sólo si existe alguna interpretación que la hace una fórmula verdadera
son satisfacible
tautología y contingencia
La lógica proposicional hace parte del lenguaje
formal
Valor de verdad para ⇒
Si el antecedente es verdadero y el consecuente es falso, su interpretación es falso
Valor de verdad para ⇔
Si ambos son iguales es verdadero
Valor de verdad para ∧
es verdadero solo si ambas son verdaderas
Valor de verdad para ∨
Es falso solo si ambos son falsos
Proposición compuesta
está formada por varias proposiciones simples enlazadas por conectivos lógicos.
Proposición atómica
proposición completa sin términos de enlace.
Silogismo
Razonamiento que está formado por dos premisas y una conclusión que es el resultado lógico que se deduce de las dos premisas.
El número de interpretaciones posibles para una fórmula que tiene n átomos está dada por
2^n
