tautologias y-contradicciones-119639930668270-4
TRANSCRIPT
![Page 1: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/1.jpg)
![Page 2: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/2.jpg)
![Page 3: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/3.jpg)
Enestapeligrosaedicion
veremos
![Page 4: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/4.jpg)
![Page 5: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/5.jpg)
Pero …
![Page 6: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/6.jpg)
Que son esas cosas!?
![Page 7: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/7.jpg)
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-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/8.jpg)
Entonces...
![Page 9: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/9.jpg)
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-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/10.jpg)
Y las contradicciones
?
![Page 11: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/11.jpg)
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-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/12.jpg)
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-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/13.jpg)
Pero espere!
Aun tenemos una deliciosa oferta para
usted!
![Page 14: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/14.jpg)
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-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/15.jpg)
Y con esto concluye nuestra pequeña y vaga presentación
![Page 16: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/16.jpg)
Fue corta pero informativa
al menos la pagina tal vez informe un poco mas sobre el
tema…
![Page 17: Tautologias y-contradicciones-119639930668270-4](https://reader031.vdocuments.mx/reader031/viewer/2022032003/55b70f66bb61ebdb3b8b4764/html5/thumbnails/17.jpg)
Gracias!