Enestapeligrosaedicion

veremos

Pero …

Que son esas cosas!?

Tautologia

•Es una expresión lógica que es verdadera para todos los posibles valores de verdad

de sus componentes.

Entonces...

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

Y las contradicciones

?

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!

Pero espere!

Aun tenemos una deliciosa oferta para

usted!

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

Y con esto concluye nuestra pequeña y vaga presentación

Fue corta pero informativa

al menos la pagina tal vez informe un poco mas sobre el

tema…

Gracias!