Post on 26-Jul-2015
Tautologia
•Es una expresión lógica que es verdadera para todos los posibles valores de verdad
de sus componentes.
SuTabla
deVerdadquedaAsí.
p q r ¬ r p^q p^¬r (p^q)→p¬)
V V V F V V V
V V F V V V V
V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F F F V F V V
Poderosa Tabla de la Verdad y la Justicia
Contradicciones
•Una Contradicción (o "expresiones inconsistentes"): en ningún caso son verdaderas, o sea, son todas falsas.
•Es (como su nombre implica) todo lo contrario en su tabla de verdad, en lugar de tener premisas verdaderas estas son…
Contradicciones
•Una Contradicción (o "expresiones inconsistentes"): en ningún caso son verdaderas, o sea, son todas falsas.
•Es (como su nombre implica) todo lo contrario en su tabla de verdad, en lugar de tener premisas verdaderas estas son…
FALS
AS!
p v ¬p Ley del medio excluido
¬(p v ¬p) Ley de no contradicción
¬(¬p) ↔ p Doble Negación
¬(pvq) ↔ ¬p^ ¬q Ley 1 de De Morgan
¬(pvq) ↔ ¬p^ ¬q Ley 2 de De Morgan
((p→q) ^q) →p Modus Ponendo Ponens
((p→q) ^¬p) →¬q Modus Tollendo Tollens
((p v q) ^p ^¬p) → q Silogismo Disyuntivo((p→q) ^(q → r)) →(p →r) Silogismo Hipotético
(p→q) ↔ (¬p v q) Condicional con Clausula
((p→q) ↔ (¬p → ¬q)) Contrapositiva
Tautologias Fundamentales