SlideShare ist ein Scribd-Unternehmen logo
1 von 17
 
 
Enesta peligrosa edicion veremos
 
Pero …
Que son esas cosas!?
Tautologia ,[object Object]
Entonces...
Su Tabla de Verdad queda Así. Poderosa Tabla de la Verdad y la Justicia V V F V F F F V F F F V F F V V F V F V F V F F F V V F V V F V F F V V V F F V F V V V V V F V V V V V F V V V (p^q)->p¬)  p^¬r  p^q  ¬ r  r q p
Y las contradicciones?
Contradicciones ,[object Object],[object Object]
Contradicciones ,[object Object],[object Object],FALSAS!
Pero espere! Aun tenemos una deliciosa oferta para usted!
Tautologias Fundamentales Contrapositiva ((p->q) ↔ (¬p -> ¬q)) Condicional con Clausula (p->q) ↔ (¬p v q) Silogismo Hipotético ((p->q) ^(q -> r)) ->(p ->r) Silogismo Disyuntivo ((p v q) ^p ^¬p) -> q Modus Tollendo Tollens ((p->q) ^¬p) ->¬q Modus Ponendo Ponens ((p->q) ^q) ->p Ley 2 de De Morgan ¬(pvq) ↔ ¬p^ ¬q Ley 1 de De Morgan ¬(pvq) ↔ ¬p^ ¬q Doble Negación ¬(¬p) ↔ p Ley de no contradicción  ¬(p v ¬p) Ley del medio excluido  p v ¬p
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!

Weitere ähnliche Inhalte

Was ist angesagt?

Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltosTata Virgüez
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notablesrafael felix
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicioneshilgri
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltosLuis Verde
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Práctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRTPráctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRTIng. Marisel Bedrán
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalYerikson Huz
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesWilderd Cabanillas Campos
 
Introducción al pensamiento matemático
Introducción al pensamiento matemático Introducción al pensamiento matemático
Introducción al pensamiento matemático Luisa Mee 666
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosEdward Solis
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 

Was ist angesagt? (20)

Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
Leccion3
Leccion3Leccion3
Leccion3
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Práctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRTPráctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRT
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
LÓGICA (PARTE 1)
LÓGICA (PARTE 1)LÓGICA (PARTE 1)
LÓGICA (PARTE 1)
 
Introducción al pensamiento matemático
Introducción al pensamiento matemático Introducción al pensamiento matemático
Introducción al pensamiento matemático
 
Circuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicasCircuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicas
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 

Ähnlich wie Tautologias y Contradicciones

LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.LUZCLARITAPALOMINOIG
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notablesguestc36ac8
 
Estructuras dicretas
Estructuras dicretasEstructuras dicretas
Estructuras dicretasj-c79
 
Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]RICCY2011
 
argumentos logicos 1.pptx
argumentos logicos  1.pptxargumentos logicos  1.pptx
argumentos logicos 1.pptxEnriqueSermeo
 
Introduccion a la logica simbolica
Introduccion a la logica simbolicaIntroduccion a la logica simbolica
Introduccion a la logica simbolicaUTEPSA, UAGRM
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicionalgpbs_brito
 
LOGICA_PROPOSICIONAL.pptx
LOGICA_PROPOSICIONAL.pptxLOGICA_PROPOSICIONAL.pptx
LOGICA_PROPOSICIONAL.pptxIVETTCUERVO
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007Demetrio Ccesa Rayme
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 
unidad 1 estructuras discretas
unidad 1 estructuras discretas unidad 1 estructuras discretas
unidad 1 estructuras discretas Roinner
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativasrafael felix
 
argumentos logicos.pptx
argumentos logicos.pptxargumentos logicos.pptx
argumentos logicos.pptxEnriqueSermeo
 

Ähnlich wie Tautologias y Contradicciones (20)

Logica
LogicaLogica
Logica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
Estructuras dicretas
Estructuras dicretasEstructuras dicretas
Estructuras dicretas
 
Logica
LogicaLogica
Logica
 
Tautologías
TautologíasTautologías
Tautologías
 
Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]
 
argumentos logicos 1.pptx
argumentos logicos  1.pptxargumentos logicos  1.pptx
argumentos logicos 1.pptx
 
Introduccion a la logica simbolica
Introduccion a la logica simbolicaIntroduccion a la logica simbolica
Introduccion a la logica simbolica
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 
LOGICA_PROPOSICIONAL.pptx
LOGICA_PROPOSICIONAL.pptxLOGICA_PROPOSICIONAL.pptx
LOGICA_PROPOSICIONAL.pptx
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007
 
LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
unidad 1 estructuras discretas
unidad 1 estructuras discretas unidad 1 estructuras discretas
unidad 1 estructuras discretas
 
Funciones Veritativas
Funciones VeritativasFunciones Veritativas
Funciones Veritativas
 
argumentos logicos.pptx
argumentos logicos.pptxargumentos logicos.pptx
argumentos logicos.pptx
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Estructura
EstructuraEstructura
Estructura
 

Tautologias y Contradicciones

  • 1.  
  • 2.  
  • 4.  
  • 6. Que son esas cosas!?
  • 7.
  • 9. Su Tabla de Verdad queda Así. Poderosa Tabla de la Verdad y la Justicia V V F V F F F V F F F V F F V V F V F V F V F F F V V F V V F V F F V V V F F V F V V V V V F V V V V V F V V V (p^q)->p¬) p^¬r p^q ¬ r r q p
  • 11.
  • 12.
  • 13. Pero espere! Aun tenemos una deliciosa oferta para usted!
  • 14. Tautologias Fundamentales Contrapositiva ((p->q) ↔ (¬p -> ¬q)) Condicional con Clausula (p->q) ↔ (¬p v q) Silogismo Hipotético ((p->q) ^(q -> r)) ->(p ->r) Silogismo Disyuntivo ((p v q) ^p ^¬p) -> q Modus Tollendo Tollens ((p->q) ^¬p) ->¬q Modus Ponendo Ponens ((p->q) ^q) ->p Ley 2 de De Morgan ¬(pvq) ↔ ¬p^ ¬q Ley 1 de De Morgan ¬(pvq) ↔ ¬p^ ¬q Doble Negación ¬(¬p) ↔ p Ley de no contradicción ¬(p v ¬p) Ley del medio excluido p v ¬p
  • 15. Y con esto concluye nuestra pequeña y vaga presentación
  • 16. Fue corta pero informativa al menos la pagina tal vez informe un poco mas sobre el tema…