Top Banner
17

Tautologias y Contradicciones

Jul 26, 2015

Download

Travel

guestd1874f
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Tautologias y Contradicciones
Page 2: Tautologias y Contradicciones
Page 3: Tautologias y Contradicciones

Enestapeligrosaedicion

veremos

Page 4: Tautologias y Contradicciones
Page 5: Tautologias y Contradicciones

Pero …

Page 6: Tautologias y Contradicciones

Que son esas cosas!?

Page 7: Tautologias y Contradicciones

Tautologia

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

de sus componentes.

Page 8: Tautologias y Contradicciones

Entonces...

Page 9: Tautologias y Contradicciones

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

Page 10: Tautologias y Contradicciones

Y las contradicciones

?

Page 11: Tautologias y 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…

Page 12: Tautologias y 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…

FALS

AS!

Page 13: Tautologias y Contradicciones

Pero espere!

Aun tenemos una deliciosa oferta para

usted!

Page 14: Tautologias y Contradicciones

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

Page 15: Tautologias y Contradicciones

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

Page 16: Tautologias y Contradicciones

Fue corta pero informativa

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

tema…

Page 17: Tautologias y Contradicciones

Gracias!