SlideShare una empresa de Scribd logo
 
 
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!

Más contenido relacionado

La actualidad más candente

Esquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uniEsquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uni
rafael felix
 
Matematica iii clases cinthya
Matematica  iii clases cinthyaMatematica  iii clases cinthya
Matematica iii clases cinthya
Cinthya Huamani
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
Wendy Estupiñan
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
Aime Rodriguez
 

La actualidad más candente (20)

Esquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uniEsquema de funciones de verdad anual uni
Esquema de funciones de verdad anual uni
 
Qué Es Un Dilema
Qué Es Un DilemaQué Es Un Dilema
Qué Es Un Dilema
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
desk goals
desk goalsdesk goals
desk goals
 
Como realizar una tablade verdad.
Como realizar una tablade verdad.Como realizar una tablade verdad.
Como realizar una tablade verdad.
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Logica
LogicaLogica
Logica
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Lógica Sesión N°3
Lógica Sesión N°3Lógica Sesión N°3
Lógica Sesión N°3
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
Matematica iii clases cinthya
Matematica  iii clases cinthyaMatematica  iii clases cinthya
Matematica iii clases cinthya
 
Logica proposisional
Logica  proposisionalLogica  proposisional
Logica proposisional
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Introducción a la lógica
Introducción a la lógicaIntroducción a la lógica
Introducción a la lógica
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 

Destacado

Proyecto vinculacion 30 de junio 2011
Proyecto vinculacion 30 de junio 2011Proyecto vinculacion 30 de junio 2011
Proyecto vinculacion 30 de junio 2011
Jaime123Ricardo
 
Private cloud
Private cloudPrivate cloud
Private cloud
alfonsoug
 
Conversión entre sistemas numéricos
Conversión entre sistemas numéricosConversión entre sistemas numéricos
Conversión entre sistemas numéricos
Kmi Arevalo
 
Presentacion deivinson
Presentacion deivinsonPresentacion deivinson
Presentacion deivinson
Deideporte
 
Tema 1. planteamiento problema smp(2)
Tema 1. planteamiento problema smp(2)Tema 1. planteamiento problema smp(2)
Tema 1. planteamiento problema smp(2)
Milagros De Anes
 
El origen de la vida
El origen de la vidaEl origen de la vida
El origen de la vida
raher31
 
Titulo en premier
Titulo en premierTitulo en premier
Titulo en premier
Nicolás UP
 

Destacado (20)

Còndor
CòndorCòndor
Còndor
 
Proyecto vinculacion 30 de junio 2011
Proyecto vinculacion 30 de junio 2011Proyecto vinculacion 30 de junio 2011
Proyecto vinculacion 30 de junio 2011
 
Private cloud
Private cloudPrivate cloud
Private cloud
 
Herramientas web 2
Herramientas web 2Herramientas web 2
Herramientas web 2
 
Conversión entre sistemas numéricos
Conversión entre sistemas numéricosConversión entre sistemas numéricos
Conversión entre sistemas numéricos
 
Violencia de género
Violencia de género Violencia de género
Violencia de género
 
Practica cables
Practica cablesPractica cables
Practica cables
 
Enzimas
EnzimasEnzimas
Enzimas
 
Presentacion deivinson
Presentacion deivinsonPresentacion deivinson
Presentacion deivinson
 
Taller3 conducciónalcambio
Taller3 conducciónalcambioTaller3 conducciónalcambio
Taller3 conducciónalcambio
 
2012temariohackingv9
2012temariohackingv92012temariohackingv9
2012temariohackingv9
 
MeTheOne EuskalValley
MeTheOne EuskalValleyMeTheOne EuskalValley
MeTheOne EuskalValley
 
Tema 1. planteamiento problema smp(2)
Tema 1. planteamiento problema smp(2)Tema 1. planteamiento problema smp(2)
Tema 1. planteamiento problema smp(2)
 
Untitled 1
Untitled 1Untitled 1
Untitled 1
 
Tamara cusnier.fatla.metodologia pacie.bloque 0
Tamara cusnier.fatla.metodologia pacie.bloque 0Tamara cusnier.fatla.metodologia pacie.bloque 0
Tamara cusnier.fatla.metodologia pacie.bloque 0
 
“Taps Sintètics i el Control d’Oxigen” a càrrec de Sébastien Andrés (Nomacorc)
“Taps Sintètics i el Control d’Oxigen” a càrrec de Sébastien Andrés (Nomacorc) “Taps Sintètics i el Control d’Oxigen” a càrrec de Sébastien Andrés (Nomacorc)
“Taps Sintètics i el Control d’Oxigen” a càrrec de Sébastien Andrés (Nomacorc)
 
El origen de la vida
El origen de la vidaEl origen de la vida
El origen de la vida
 
Titulo en premier
Titulo en premierTitulo en premier
Titulo en premier
 
Spam
SpamSpam
Spam
 
Anime manga[1]
Anime manga[1]Anime manga[1]
Anime manga[1]
 

Similar a Tautologias y-contradicciones-119639930668270-4

Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]
RICCY2011
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
Taky' Gonzaleez
 

Similar a Tautologias y-contradicciones-119639930668270-4 (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.
 
Estructuras dicretas
Estructuras dicretasEstructuras dicretas
Estructuras dicretas
 
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
 
argumentos logicos.pptx
argumentos logicos.pptxargumentos logicos.pptx
argumentos logicos.pptx
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Estructura
EstructuraEstructura
Estructura
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 

Último

Tema 14. Aplicación de Diagramas 26-05-24.pptx
Tema 14. Aplicación de Diagramas 26-05-24.pptxTema 14. Aplicación de Diagramas 26-05-24.pptx
Tema 14. Aplicación de Diagramas 26-05-24.pptx
Noe Castillo
 
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Monseespinoza6
 
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdfPresentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
juancmendez1405
 

Último (20)

5.Deicticos Uno_Enfermería_EspanolAcademico
5.Deicticos Uno_Enfermería_EspanolAcademico5.Deicticos Uno_Enfermería_EspanolAcademico
5.Deicticos Uno_Enfermería_EspanolAcademico
 
Fase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría AnalíticaFase 3; Estudio de la Geometría Analítica
Fase 3; Estudio de la Geometría Analítica
 
PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
 
Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
 
32 LECTURAS CORTAS PARA NIÑOS.pdf · versión 1.pdf
32 LECTURAS CORTAS PARA NIÑOS.pdf · versión 1.pdf32 LECTURAS CORTAS PARA NIÑOS.pdf · versión 1.pdf
32 LECTURAS CORTAS PARA NIÑOS.pdf · versión 1.pdf
 
Tarrajeo, tipos de tarrajeos, empastados, solaqueos y otros revestimientos.
Tarrajeo, tipos de tarrajeos, empastados, solaqueos y otros revestimientos.Tarrajeo, tipos de tarrajeos, empastados, solaqueos y otros revestimientos.
Tarrajeo, tipos de tarrajeos, empastados, solaqueos y otros revestimientos.
 
TRABAJO CON TRES O MAS FRACCIONES PARA NIÑOS
TRABAJO CON TRES O MAS FRACCIONES PARA NIÑOSTRABAJO CON TRES O MAS FRACCIONES PARA NIÑOS
TRABAJO CON TRES O MAS FRACCIONES PARA NIÑOS
 
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLAACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
ACERTIJO DE CARRERA OLÍMPICA DE SUMA DE LABERINTOS. Por JAVIER SOLIS NOYOLA
 
Power Point: Luz desde el santuario.pptx
Power Point: Luz desde el santuario.pptxPower Point: Luz desde el santuario.pptx
Power Point: Luz desde el santuario.pptx
 
Poemas de Beatriz Giménez de Ory_trabajos de 6º
Poemas de Beatriz Giménez de Ory_trabajos de 6ºPoemas de Beatriz Giménez de Ory_trabajos de 6º
Poemas de Beatriz Giménez de Ory_trabajos de 6º
 
Tema 14. Aplicación de Diagramas 26-05-24.pptx
Tema 14. Aplicación de Diagramas 26-05-24.pptxTema 14. Aplicación de Diagramas 26-05-24.pptx
Tema 14. Aplicación de Diagramas 26-05-24.pptx
 
Escrito-Contestacion-Demanda-Filiacion.pdf
Escrito-Contestacion-Demanda-Filiacion.pdfEscrito-Contestacion-Demanda-Filiacion.pdf
Escrito-Contestacion-Demanda-Filiacion.pdf
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
 
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
 
PROYECTO INTEGRADOR ARCHIDUQUE. presentacion
PROYECTO INTEGRADOR ARCHIDUQUE. presentacionPROYECTO INTEGRADOR ARCHIDUQUE. presentacion
PROYECTO INTEGRADOR ARCHIDUQUE. presentacion
 
3.Conectores uno_Enfermería_EspAcademico
3.Conectores uno_Enfermería_EspAcademico3.Conectores uno_Enfermería_EspAcademico
3.Conectores uno_Enfermería_EspAcademico
 
ensayo literario rios profundos jose maria ARGUEDAS
ensayo literario rios profundos jose maria ARGUEDASensayo literario rios profundos jose maria ARGUEDAS
ensayo literario rios profundos jose maria ARGUEDAS
 
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATRBIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
BIENESTAR TOTAL - LA EXPERIENCIA DEL CLIENTE CON ATR
 
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdfPresentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
Presentación de medicina Enfermedades Fotográfico Moderno Morado (1).pdf
 

Tautologias y-contradicciones-119639930668270-4

  • 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…