SlideShare una empresa de Scribd logo
1 de 2
EJERCICIOS RESUELTOS1)
Determinar el valor de verdad de cada una de las siguientesproposiciones:
a) Si 5 + 4 = 11, entonces 6 + 6 = 12
Solución
Es verdadera puesto que el antecedente es falso mientras que elconsecuente es verdadero.
b) No es verdad que 3 + 3 = 7 si y solo si 5 + 5 = 12
Solución
Es falso puesto que se está negando una proposición verdadera.
c) Lima está en Chile o La Paz está en Ecuador.
Solución
Es falso puesto que ambas componentes son falsas.
d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4
Solución
Es falso puesto que se está negando una proposición verdadera.
2) Determinar el valor de verdad de cada una de las siguientes proposiciones:
a) 4 + 8 = 12 y 9 – 4 = 5
Solución
Es verdadera V, porque es una conjunción cuyas dos proposiciones son verdaderas.
b) 8 + 4 = 12 y 8 – 3 = 2
Solución
Es falso F, puesto que es una conjunción con una proposición falsa
c) 8 + 4 = 12 o 7 – 2 = 3
Es verdadera V, puesto que es una disyunción con una proposición simple verdadera
e) Sí 4 + 3 = 2, entonces 5 + 5 = 10
Solución
Es verdadera V, por ser una implicación en donde el antecedente es falso,y el consecuente es
verdadero V de dos proposiciones simples.
f) Si 4 + 5 = 9, entonces 3 + 1 = 2
Solución
Es falso F, puesto que de una proposición verdadera Vno puede implicar
una proposición falsa F.
g) Sí 7 + 3 = 4, entonces 11 – 7 = 9
Solución
Es verdadera V, puesto que las proposiciones que intervienen en la implicación son falsas.
3.- Evaluar la tabla de verdad de la proposición compuesta
4) Construir la tabla de verdad de la siguiente proposición:
~{ ~[ p v (~q→p) ] v ~[ (p ↔~q)→(q Λ ~p) ]}
Solución
Primero simplificaremos la proposición por la ley de Morgan:
~ ~{[ p v (~q → p) ] ˄ [ (p↔~q) → (q ˄ ~p) ]} de donde se tiene
5.- Determinar la pro posición [((~p) v q) Λ ~ q] ~ p es una tautología
6.- 6) Verificar que las siguientes proposiciones son contradicciones:
a) ( p˄ q )˄~ ( p v q ) b) ~[ p v ( ~ p v ~q )

Más contenido relacionado

La actualidad más candente

Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
Polinomios Problemas Solucionados
Polinomios Problemas SolucionadosPolinomios Problemas Solucionados
Polinomios Problemas SolucionadosJUANCA
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicosAra Narvaez
 
Grado de un polinomio
Grado de un polinomioGrado de un polinomio
Grado de un polinomiocarfelaq
 
INECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMIL
INECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMILINECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMIL
INECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMILenrique0975
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
PROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALES
PROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALESPROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALES
PROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALESguest79929af
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaCarlos Chavarria
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Matematicas operadores logicos jefferson Cuaspud
Matematicas operadores logicos jefferson CuaspudMatematicas operadores logicos jefferson Cuaspud
Matematicas operadores logicos jefferson CuaspudJefferson Cuaspud
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 

La actualidad más candente (20)

Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Polinomios Problemas Solucionados
Polinomios Problemas SolucionadosPolinomios Problemas Solucionados
Polinomios Problemas Solucionados
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Grado de un polinomio
Grado de un polinomioGrado de un polinomio
Grado de un polinomio
 
INECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMIL
INECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMILINECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMIL
INECUACIONES LINEALES, Conjunto solución gráfica y comprobación. COMIL
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
 
Lógica
LógicaLógica
Lógica
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Teoria de exponentes
Teoria de exponentesTeoria de exponentes
Teoria de exponentes
 
PROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALES
PROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALESPROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALES
PROBLEMAS RESUELTOS DE APLICACIÒN DE FUNCIONES EXPONENCIALES
 
Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
Capitulo 3 ejercicios
Capitulo 3 ejerciciosCapitulo 3 ejercicios
Capitulo 3 ejercicios
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Matematicas operadores logicos jefferson Cuaspud
Matematicas operadores logicos jefferson CuaspudMatematicas operadores logicos jefferson Cuaspud
Matematicas operadores logicos jefferson Cuaspud
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 

Similar a Ejercicios resueltos1 DE MATEMATICA

Taller de refuerzo geometria 8
Taller de refuerzo geometria 8Taller de refuerzo geometria 8
Taller de refuerzo geometria 8David Rojas
 
Pre 2 bryce secion 1 - racionales
Pre 2 bryce   secion 1 - racionalesPre 2 bryce   secion 1 - racionales
Pre 2 bryce secion 1 - racionalesOscar Carpio
 
Ejercicios detallados del obj 10 mat i (177
Ejercicios detallados del obj 10 mat i (177Ejercicios detallados del obj 10 mat i (177
Ejercicios detallados del obj 10 mat i (177Jonathan Mejías
 
CAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptx
CAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptxCAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptx
CAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptxCLARIBELMARIAJESUSOL
 
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.docHUAHUASONCO Dionicio
 

Similar a Ejercicios resueltos1 DE MATEMATICA (10)

Taller de refuerzo geometria 8
Taller de refuerzo geometria 8Taller de refuerzo geometria 8
Taller de refuerzo geometria 8
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Lógica proposicional si
Lógica proposicional siLógica proposicional si
Lógica proposicional si
 
Pre 2 bryce secion 1 - racionales
Pre 2 bryce   secion 1 - racionalesPre 2 bryce   secion 1 - racionales
Pre 2 bryce secion 1 - racionales
 
LÓGICA (PARTE 1)
LÓGICA (PARTE 1)LÓGICA (PARTE 1)
LÓGICA (PARTE 1)
 
Ejercicios detallados del obj 10 mat i (177
Ejercicios detallados del obj 10 mat i (177Ejercicios detallados del obj 10 mat i (177
Ejercicios detallados del obj 10 mat i (177
 
CAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptx
CAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptxCAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptx
CAPÍTULO_1_LÓGICA PROPORCIONAL (1).pptx
 
03 valor de verdad.pdf
03 valor de verdad.pdf03 valor de verdad.pdf
03 valor de verdad.pdf
 
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
01-DESCARGAR-LÓGICA-MATEMÁTICA-QUINTO-DE-SECUNDARIA.doc
 
Blog logica matematica
Blog logica matematicaBlog logica matematica
Blog logica matematica
 

Último

NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFAROJosé Luis Palma
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.José Luis Palma
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialpatriciaines1993
 
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIATRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIAAbelardoVelaAlbrecht1
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptxPresentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptxYeseniaRivera50
 
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdfEstrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdfAlfredoRamirez953210
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024IES Vicent Andres Estelles
 
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docxPLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docxJUANSIMONPACHIN
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfTEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfDannyTola1
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...Baker Publishing Company
 
Procesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxProcesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxMapyMerma1
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 

Último (20)

Earth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversaryEarth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversary
 
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARONARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
NARRACIONES SOBRE LA VIDA DEL GENERAL ELOY ALFARO
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundial
 
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIATRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
TRIPTICO-SISTEMA-MUSCULAR. PARA NIÑOS DE PRIMARIA
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptxPresentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
Presentación de Estrategias de Enseñanza-Aprendizaje Virtual.pptx
 
Unidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDIUnidad 3 | Teorías de la Comunicación | MCDI
Unidad 3 | Teorías de la Comunicación | MCDI
 
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdfEstrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
Estrategias de enseñanza - aprendizaje. Seminario de Tecnologia..pptx.pdf
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024
 
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docxPLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
PLANIFICACION ANUAL 2024 - INICIAL UNIDOCENTE.docx
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfTEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdf
 
DIA INTERNACIONAL DAS FLORESTAS .
DIA INTERNACIONAL DAS FLORESTAS         .DIA INTERNACIONAL DAS FLORESTAS         .
DIA INTERNACIONAL DAS FLORESTAS .
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...
 
Procesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxProcesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptx
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 

Ejercicios resueltos1 DE MATEMATICA

  • 1. EJERCICIOS RESUELTOS1) Determinar el valor de verdad de cada una de las siguientesproposiciones: a) Si 5 + 4 = 11, entonces 6 + 6 = 12 Solución Es verdadera puesto que el antecedente es falso mientras que elconsecuente es verdadero. b) No es verdad que 3 + 3 = 7 si y solo si 5 + 5 = 12 Solución Es falso puesto que se está negando una proposición verdadera. c) Lima está en Chile o La Paz está en Ecuador. Solución Es falso puesto que ambas componentes son falsas. d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4 Solución Es falso puesto que se está negando una proposición verdadera. 2) Determinar el valor de verdad de cada una de las siguientes proposiciones: a) 4 + 8 = 12 y 9 – 4 = 5 Solución Es verdadera V, porque es una conjunción cuyas dos proposiciones son verdaderas. b) 8 + 4 = 12 y 8 – 3 = 2 Solución Es falso F, puesto que es una conjunción con una proposición falsa c) 8 + 4 = 12 o 7 – 2 = 3 Es verdadera V, puesto que es una disyunción con una proposición simple verdadera e) Sí 4 + 3 = 2, entonces 5 + 5 = 10 Solución Es verdadera V, por ser una implicación en donde el antecedente es falso,y el consecuente es verdadero V de dos proposiciones simples. f) Si 4 + 5 = 9, entonces 3 + 1 = 2 Solución Es falso F, puesto que de una proposición verdadera Vno puede implicar una proposición falsa F. g) Sí 7 + 3 = 4, entonces 11 – 7 = 9 Solución Es verdadera V, puesto que las proposiciones que intervienen en la implicación son falsas. 3.- Evaluar la tabla de verdad de la proposición compuesta 4) Construir la tabla de verdad de la siguiente proposición: ~{ ~[ p v (~q→p) ] v ~[ (p ↔~q)→(q Λ ~p) ]} Solución Primero simplificaremos la proposición por la ley de Morgan: ~ ~{[ p v (~q → p) ] ˄ [ (p↔~q) → (q ˄ ~p) ]} de donde se tiene
  • 2. 5.- Determinar la pro posición [((~p) v q) Λ ~ q] ~ p es una tautología 6.- 6) Verificar que las siguientes proposiciones son contradicciones: a) ( p˄ q )˄~ ( p v q ) b) ~[ p v ( ~ p v ~q )