SlideShare una empresa de Scribd logo
1 de 7
Proposiciones
compuestas
Semántica de las conectivas lógicas
Conjunción Disyunción
Semántica de las conectivas lógicas
Condicional Bicondicional
Tautologías, contradicciones y
contingencias
Una expresión proposicional se llama
tautología, si los valores de verdad de su
operador principal son verdaderos.
Se llama contradicción o antitautología, si
los valores de verdad de su operador
principal son todos falsos.
Se llama contingencia, cuando los valores
de verdad hay valores verdaderos y falsos
Por ejemplo: (p ˄ q) → ¬r 2 𝑛
= 23
= 8
 1 columna : 4 verdaderas y 4 falsas
 2 columna 2 verdaderas , 2 falsas
 3 columna 1 verdadera, 1 falsa
𝑝 → 𝑞 ∨ (∽ 𝑞⋀𝑟) ↔ (𝑟 →)
p q r ∽ 𝑞 𝑝 → 𝑞 ∽ 𝑞⋀𝑟 𝑟 → 𝑞 𝑝 → 𝑞 ∨ (∽ 𝑞⋀𝑟) 𝑝 → 𝑞 ∨ (∽ 𝑞⋀𝑟) ↔ (𝑟 → 𝑞)
V V V F V V V V V
V V F F V F V V V
V F V V F V F V F
V F F V F V V V V
F V V F V V V V V
F V F F V F V V V
F F V V V V F V F
F F F V V V V V V
24=16 16/2
 1 C: 8v, 8f
 2C: 4v,4f,4v,4f
 3C: 2v,2f,2v,2f,2v,2f,2v,2f
 4c: 1v,1f,1v

Más contenido relacionado

La actualidad más candente

Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradicciones
guestd1874f
 
L gica proposicional_semana_1
L gica proposicional_semana_1L gica proposicional_semana_1
L gica proposicional_semana_1
sanluisgonzaga
 
Jorge Rivero ED1 unidad 1
Jorge Rivero ED1 unidad 1Jorge Rivero ED1 unidad 1
Jorge Rivero ED1 unidad 1
Jorge Riivero
 

La actualidad más candente (18)

Tautologias y Contradicciones
Tautologias y ContradiccionesTautologias y Contradicciones
Tautologias y Contradicciones
 
Conectivos y tablas de verdad
Conectivos y tablas de verdadConectivos y tablas de verdad
Conectivos y tablas de verdad
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Tablas de verdad_para_c_pre (1)
Tablas de verdad_para_c_pre (1)Tablas de verdad_para_c_pre (1)
Tablas de verdad_para_c_pre (1)
 
Clases inferencia operaciones logicas
Clases inferencia  operaciones logicas Clases inferencia  operaciones logicas
Clases inferencia operaciones logicas
 
B rayam estructura 1
B rayam  estructura 1B rayam  estructura 1
B rayam estructura 1
 
Presentación logica
Presentación logicaPresentación logica
Presentación logica
 
desk goals
desk goalsdesk goals
desk goals
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
L gica proposicional_semana_1
L gica proposicional_semana_1L gica proposicional_semana_1
L gica proposicional_semana_1
 
Una forma de razonamiento inválido
Una forma de razonamiento inválidoUna forma de razonamiento inválido
Una forma de razonamiento inválido
 
Jorge Rivero ED1 unidad 1
Jorge Rivero ED1 unidad 1Jorge Rivero ED1 unidad 1
Jorge Rivero ED1 unidad 1
 
Presentación1
Presentación1Presentación1
Presentación1
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Logica Y Epistemologia
Logica Y EpistemologiaLogica Y Epistemologia
Logica Y Epistemologia
 
TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++TABLAS DE VERDAD PARA C++
TABLAS DE VERDAD PARA C++
 

Similar a Proposiciones compuestas

Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]
RICCY2011
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
Henry Villalba
 

Similar a Proposiciones compuestas (20)

argumentos logicos.pptx
argumentos logicos.pptxargumentos logicos.pptx
argumentos logicos.pptx
 
argumentos logicos 1.pptx
argumentos logicos  1.pptxargumentos logicos  1.pptx
argumentos logicos 1.pptx
 
Logica
LogicaLogica
Logica
 
Logica [autoguardado]
Logica [autoguardado]Logica [autoguardado]
Logica [autoguardado]
 
Logica [autoguardado]
Logica [autoguardado]Logica [autoguardado]
Logica [autoguardado]
 
Logica [autoguardado]
Logica [autoguardado]Logica [autoguardado]
Logica [autoguardado]
 
Logica [autoguardado
Logica [autoguardadoLogica [autoguardado
Logica [autoguardado
 
2 TABLAS DE VERDAD- VARIANTES D ELA CONDICIONAL- LEYES DEL ALGEBRA PROPOSICIO...
2 TABLAS DE VERDAD- VARIANTES D ELA CONDICIONAL- LEYES DEL ALGEBRA PROPOSICIO...2 TABLAS DE VERDAD- VARIANTES D ELA CONDICIONAL- LEYES DEL ALGEBRA PROPOSICIO...
2 TABLAS DE VERDAD- VARIANTES D ELA CONDICIONAL- LEYES DEL ALGEBRA PROPOSICIO...
 
LÓGICA.pdf
LÓGICA.pdfLÓGICA.pdf
LÓGICA.pdf
 
logica.pdf
logica.pdflogica.pdf
logica.pdf
 
Estructuras dicretas
Estructuras dicretasEstructuras dicretas
Estructuras dicretas
 
Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]Estructuras%20 dicretas[1]
Estructuras%20 dicretas[1]
 
25 doble implicación
25   doble implicación25   doble implicación
25 doble implicación
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Tablas de verdad_para_C++
Tablas de verdad_para_C++Tablas de verdad_para_C++
Tablas de verdad_para_C++
 
Estructura
EstructuraEstructura
Estructura
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 

Más de Adriana Cecilia Benítez C. (12)

Tipos de pensamiento
Tipos de pensamientoTipos de pensamiento
Tipos de pensamiento
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Desarrollo del proyecto
Desarrollo del proyectoDesarrollo del proyecto
Desarrollo del proyecto
 
Política monetaria visuales
Política monetaria visualesPolítica monetaria visuales
Política monetaria visuales
 
Política monetaria para lecto-escritores
Política monetaria para lecto-escritoresPolítica monetaria para lecto-escritores
Política monetaria para lecto-escritores
 
Presentación evaluación de ava
Presentación evaluación de avaPresentación evaluación de ava
Presentación evaluación de ava
 
Plataforma claroline (1)
Plataforma claroline (1)Plataforma claroline (1)
Plataforma claroline (1)
 
Plataforma claroline (1)
Plataforma claroline (1)Plataforma claroline (1)
Plataforma claroline (1)
 
Plataforma claroline (1)
Plataforma claroline (1)Plataforma claroline (1)
Plataforma claroline (1)
 
Ilias (1)
Ilias (1)Ilias (1)
Ilias (1)
 
Ilias (1)
Ilias (1)Ilias (1)
Ilias (1)
 

Último

2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
candy torres
 

Último (20)

2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN  PARÍS. Por JAVIER SOL...
ACERTIJO LA RUTA DEL MARATÓN OLÍMPICO DEL NÚMERO PI EN PARÍS. Por JAVIER SOL...
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
POEMAS ILUSTRADOS DE LUÍSA VILLALTA. Elaborados polos alumnos de 4º PDC do IE...
 
Lecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigosLecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigos
 
Actividades para el 11 de Mayo día del himno.docx
Actividades para el 11 de Mayo día del himno.docxActividades para el 11 de Mayo día del himno.docx
Actividades para el 11 de Mayo día del himno.docx
 
Presentación de la propuesta de clase.pdf
Presentación de la propuesta de clase.pdfPresentación de la propuesta de clase.pdf
Presentación de la propuesta de clase.pdf
 
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptxAEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
 
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdfGRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
GRUPO 2 - LA GRAN TRIBULACIÓN 25-03-2024 vf.pdf
 
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
 
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdfTÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
 
REGLAMENTO FINAL DE EVALUACIÓN 2024 pdf.pdf
REGLAMENTO  FINAL DE EVALUACIÓN 2024 pdf.pdfREGLAMENTO  FINAL DE EVALUACIÓN 2024 pdf.pdf
REGLAMENTO FINAL DE EVALUACIÓN 2024 pdf.pdf
 
Programa dia de las madres para la convi
Programa dia de las madres para la conviPrograma dia de las madres para la convi
Programa dia de las madres para la convi
 
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdfsesion de aprendizaje 1 SEC. 13- 17  MAYO  2024 comunicación.pdf
sesion de aprendizaje 1 SEC. 13- 17 MAYO 2024 comunicación.pdf
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
 
animalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfanimalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdf
 
Los dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la VerdadLos dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la Verdad
 
Sesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdfSesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdf
 

Proposiciones compuestas

  • 2. Semántica de las conectivas lógicas Conjunción Disyunción
  • 3. Semántica de las conectivas lógicas Condicional Bicondicional
  • 4. Tautologías, contradicciones y contingencias Una expresión proposicional se llama tautología, si los valores de verdad de su operador principal son verdaderos. Se llama contradicción o antitautología, si los valores de verdad de su operador principal son todos falsos. Se llama contingencia, cuando los valores de verdad hay valores verdaderos y falsos
  • 5. Por ejemplo: (p ˄ q) → ¬r 2 𝑛 = 23 = 8  1 columna : 4 verdaderas y 4 falsas  2 columna 2 verdaderas , 2 falsas  3 columna 1 verdadera, 1 falsa
  • 6. 𝑝 → 𝑞 ∨ (∽ 𝑞⋀𝑟) ↔ (𝑟 →) p q r ∽ 𝑞 𝑝 → 𝑞 ∽ 𝑞⋀𝑟 𝑟 → 𝑞 𝑝 → 𝑞 ∨ (∽ 𝑞⋀𝑟) 𝑝 → 𝑞 ∨ (∽ 𝑞⋀𝑟) ↔ (𝑟 → 𝑞) V V V F V V V V V V V F F V F V V V V F V V F V F V F V F F V F V V V V F V V F V V V V V F V F F V F V V V F F V V V V F V F F F F V V V V V V
  • 7. 24=16 16/2  1 C: 8v, 8f  2C: 4v,4f,4v,4f  3C: 2v,2f,2v,2f,2v,2f,2v,2f  4c: 1v,1f,1v