SlideShare ist ein Scribd-Unternehmen logo
1 von 9
Downloaden Sie, um offline zu lesen
EJERCICIOS DE LOGICA MATEMATICA 
A ) Usando tablas demostrar: 
1 ) ( p’ )’ ⇔ p 
p p’ ( p’ )’ 
V F V 
F V F 
2 ) p ∧ p’ ⇔ F 
p p’ p ∧ p’ 
V F F 
F V F 
3 ) p ∨ p’ ⇔ V 
p p’ p ∨ p’ 
V F V 
F V V 
4 ) p ∨ V ⇔ V 
p V p ∨ V 
V V V 
F V V 
5 ) p ∧ V ⇔ p 
p V p ∧ V 
V V V 
F V F 
6 ) p ∨ F ⇔ p 
p F p ∨ F 
V F V 
F F F 
7 ) p ∧ F ⇔ F 
p F p ∧ F 
V F F 
F F F
8 ) p ∧ ( p ∨ q ) ⇔ p 
p q p ∨ q p ∧ ( p ∨ q ) 
V V V V 
V F V V 
F V V F 
F F F F 
9 ) p ∨ ( p ∧ q ) ⇔ p 
p q p ∧ q p ∨ ( p ∧ q ) 
V V V V 
V F F V 
F V F F 
F F F F 
10 ) ( p ∧ q )’ ⇔ p’ ∨ q’ 
p q p’ q’ p ∧ q ( p ∧ q )’ p’ ∨ q’ 
V V F F V F F 
V F F V F V V 
F V V F F V V 
F F V V F V V 
11 ) ( p ∨ q )’ ⇔ p’ ∧ q’ 
p q p’ q’ p ∨ q ( p ∨ q )’ p’ ∧ q’ 
V V F F V F F 
V F F V V F F 
F V V F V F F 
F F V V F V V 
12 ) ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r ) 
p q r p ∧ q q ∧ r ( p ∧ q ) ∧ r p ∧ ( q ∧ r ) 
V V V V V V V 
V V F V F F F 
V F V F F F F 
V F F F F F F 
F V V F V F F 
F V F F F F F 
F F V F F F F 
F F F F F F F
13 ) ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r ) 
p q r p ∨ q q ∨ r ( p ∨ q ) ∨ r p ∨ ( q ∨ r ) 
V V V V V V V 
V V F V V V V 
V F V V V V V 
V F F V F V V 
F V V V V V V 
F V F V V V V 
F F V F V V V 
F F F F F F F 
14 ) ( p ↔ q ) ↔ r ⇔ p ↔ ( q ↔ r ) 
p q r p ↔ q q ↔ r ( p ↔ q ) ↔ r p ↔ ( q ↔ r ) 
V V V V V V V 
V V F V F F F 
V F V F F F F 
V F F F V V V 
F V V F V F F 
F V F F F V V 
F F V V F V V 
F F F V V F F 
15 ) p ∧ ( q ∨ r ) ⇔ ( p ∧ q ) ∨ ( p ∧ r ) 
p q r p ∧ q p ∧ r q ∨ r p ∧ ( q ∨ r ) ( p ∧ q ) ∨ ( p ∧ r ) 
V V V V V V V V 
V V F V F V V V 
V F V F V V V V 
V F F F F F F F 
F V V F F V F F 
F V F F F V F F 
F F V F F V F F 
F F F F F F F F
16 ) p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧ ( p ∨ r ) 
p q r p ∨ q p ∨ r q ∧ r p ∨ ( q ∧ r ) ( p ∨ q ) ∧ ( p ∨ r ) 
V V V V V V V V 
V V F V V F V V 
V F V V V F V V 
V F F V V F V V 
F V V V V V V V 
F V F V F F F F 
F F V F V F F F 
F F F F F F F F 
17 ) p’ ∨ q ⇔ p → q 
p q p’ p’ ∨ q p → q 
V V F V V 
V F F F F 
F V V V V 
F F V V V 
18 ) p ↔ q ⇔ ( p → q ) ∧ ( q → p ) 
p q p → q q → p ( p → q ) ∧ ( q → p ) p ↔ q 
V V V V V V 
V F F V F F 
F V V F F F 
F F V V V V 
19 ) p ↑ q ⇔ ( p ∧ q )’ 
p q p ∧ q ( p ∧ q )’ p ↑ q 
V V V F F 
V F F V V 
F V F V V 
F F F V V 
20 ) p ↓ q ⇔ ( p ∨ q )’ 
p q p ∨ q ( p ∨ q )’ p ↓ q 
V V V F F 
V F V F F 
F V V F F 
F F F V V
21 ) p ⊕ q ⇔ ( p ∨ q ) ∧ ( p ∧ q )’ 
p q p ∧ q ( p ∧ q )’ p ∨ q ( p ∨ q ) ∧ ( p ∧ q )’ p ⊕ q 
V V V F V F F 
V F F V V V V 
F V F V V V V 
F F F V F F F 
B ) A partir de los conectivos negación ( ‘ ) y disyunción ( ∨ ) se definen: 
p ∧ q =def ( p’ ∨ q’ )’ 
p → q =def p’ ∨ q 
p ↔ q =def ( p → q ) ∧ ( q → p ) 
p ⊕ q =def ( p ∧ q’ ) ∨ ( p’ ∧ q ) 
p ↑ q =def ( p ∧ q )’ 
p ↓ q =def ( p ∨ q )’ 
Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes 
tautologías: 
1 ) p → q ⇔ q’ → p’ 
q’ → p’ ⇔ ( q’ )’ ∨ p’ ( Definición ) 
⇔ q ∨ p’ ( Doble Negación ) 
⇔ p’ ∨ q ( Conmutatividad ) 
⇔ p → q ( Definición ) 
2 ) ( p → q )’ ⇔ p ∧ q’ 
( p → q )’ ⇔ ( p’ ∨ q )’ ( Definición ) 
⇔ ( p’ )’ ∧ q’ ( De Morgan ) 
⇔ p ∧ q’ ( Doble Negación ) 
3 ) p → ( q ∧ q’ ) ⇔ p’ 
p → ( q ∧ q’ ) ⇔ p → F ( Complemento ) 
⇔ p’ ∨ F ( Definición ) 
⇔ p’ ( Identidad ) 
4 ) ( q ∨ q’ ) → p ⇔ p 
( q ∨ q’ ) → p ⇔ ( q ∨ q’ )’∨ p ( Definición ) 
⇔ V’ ∨ p ( Complemento ) 
⇔ F ∨ p ( Complemento ) 
⇔ p ( Identidad ) 
5 ) ( p ∧ q ) → r ⇔ p → ( q → r ) 
( p ∧ q ) → r ⇔ ( p ∧ q )’ ∨ r ( Definición ) 
⇔ ( p’ ∨ q’ ) ∨ r ( De Morgan ) 
⇔ p’ ∨ ( q’ ∨ r ) ( Asociatividad ) 
⇔ p → ( q → r ) ( Definición )
6 ) p → ( q → r ) ⇔ q → ( p → r ) 
p → ( q → r ) ⇔ p’ ∨ ( q’ ∨ r ) ( Definición ) 
⇔ ( p’ ∨ q’ ) ∨ r ( Asociatividad ) 
⇔ ( q’ ∨ p’ ) ∨ r ( Conmutatividad ) 
⇔ q’ ∨ ( p’ ∨ r ) ( Asociatividad ) 
⇔ q → ( p → r ) ( Definición ) 
7 ) ( p → q ) ↔ p ⇔ p ∧ q 
( p → q ) ↔ p ⇔ ( ( p → q ) → p ) ∧ ( p → ( p → q ) ) ( Definición ) 
⇔ ( ( p → q )’ ∨ p ) ∧ ( p’ ∨ ( p → q ) ) ( Definición ) 
⇔ ( ( p’ ∨ q )’ ∨ p ) ∧ ( p’ ∨ ( p’ ∨ q ) ) ( Definición ) 
⇔ ( ( p ∧ q’ ) ∨ p ) ∧ ( p’ ∨ ( p’ ∨ q ) ) ( De Morgan ) 
⇔ p ∧ ( p’ ∨ ( p’ ∨ q ) ) ( Absorción ) 
⇔ p ∧ ( ( p’ ∨ p’ ) ∨ q ) ( Asociatividad ) 
⇔ p ∧ ( p’ ∨ q ) ( Idempotencia ) 
⇔ ( p ∧ p’ ) ∨ ( p ∧ q ) ( Distributividad ) 
⇔ F ∨ ( p ∧ q ) ( Complemento ) 
⇔ p ∧ q ( Identidad ) 
8 ) ( p → q ) ↔ q ⇔ p ∨ q 
( p → q ) ↔ q ⇔ ( ( p → q ) → q ) ∧ ( q → ( p → q ) ) ( Definición ) 
⇔ ( ( p → q )’ ∨ q ) ∧ ( q’ ∨ ( p → q ) ) ( Definición ) 
⇔ ( ( p’ ∨ q )’ ∨ q ) ∧ ( q’ ∨ ( p’ ∨ q ) ) ( Definición ) 
⇔ ( ( ( p’ )’ ∧ q’ ) ∨ q ) ∧ ( q’ ∨ ( p’ ∨ q ) ) ( De Morgan ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( q’ ∨ ( p’ ∨ q ) ) ( Doble Negación ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( q’ ∨ ( q ∨ p’ ) ) ( Conmutatividad ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( ( q’ ∨ q ) ∨ p’ ) ( Asociatividad ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( V ∨ p’ ) ( Complemento ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ V ( Identidad ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ( Identidad ) 
⇔ ( p ∨ q ) ∧ ( q’ ∨ q ) ( Distributividad ) 
⇔ ( p ∨ q ) ∧ V ( Complemento ) 
⇔ p ∨ q ( Identidad ) 
9 ) p ↔ q ⇔ ( p ∧ q ) ∨ ( p’ ∧ q’ ) 
p ↔ q ⇔ ( p → q ) ∧ ( q → p ) ( Definición ) 
⇔ ( p’ ∨ q ) ∧ ( q’ ∨ p ) ( Definición ) 
⇔ ( p’ ∧ ( q’ ∨ p ) ) ∨ ( q ∧ ( q’ ∨ p ) ) ( Distributividad ) 
⇔ ( ( p’ ∧ q’ ) ∨ ( p’ ∧ p ) ) ∨ ( ( q ∧ q’ ) ∨ ( q ∧ p ) ) ( Distributividad ) 
⇔ ( ( p’ ∧ q’ ) ∨ F ) ∨ ( F ∨ ( q ∧ p ) ) ( Complemento ) 
⇔ ( p’ ∧ q’ ) ∨ ( q ∧ p ) ( Identidad ) 
⇔ ( p ∧ q ) ∨ ( p’ ∧ q’ ) ( Conmutatividad )
10 ) p’ ↔ q’ ⇔ p ↔ q 
p’ ↔ q’ ⇔ ( p’ → q’ ) ∧ ( q’ → p’ ) ( Definición ) 
⇔ ( ( p’ )’ ∨ q’ ) ∧ ( ( q’ )’ ∨ p’ ) ( Definición ) 
⇔ ( p ∨ q’ ) ∧ ( q ∨ p’ ) ( Doble Negación ) 
⇔ ( q’ ∨ p ) ∧ ( p’ ∨ q ) ( Conmutatividad ) 
⇔ ( q → p ) ∧ ( p → q ) ( Definición ) 
⇔ ( p → q ) ∧ ( q → p ) ( Conmutatividad ) 
⇔ p ↔ q ( Definición ) 
11 ) ( p ↔ q )’ ⇔ p’ ↔ q 
( p ↔ q )’ ⇔ ( ( p → q ) ∧ ( q → p ) )’ ( Definición ) 
⇔ ( ( p’ ∨ q ) ∧ ( q’ ∨ p ) )’ ( Definición ) 
⇔ ( p’ ∨ q )’ ∨ ( q’ ∨ p )’ ( De Morgan ) 
⇔ ( ( p’ )’ ∧ q’ ) ∨ ( ( q’ )’ ∧ p’ ) ( De Morgan ) 
⇔ ( p ∧ q’ ) ∨ ( q ∧ p’ ) ( Doble Negación ) 
⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( ( p ∧ q’ ) ∨ p’ ) ( Distributividad ) 
⇔ ( ( p ∨ q ) ∧ ( q’ ∨ q ) )∧( ( p ∨ p’ ) ∧ ( q’ ∨ p’ ) ) ( Distributividad ) 
⇔ ( ( p ∨ q ) ∧ V ) ∧ ( V ∧ ( q’ ∨ p’ ) ) ( Complemento ) 
⇔ ( p ∨ q ) ∧ ( q’ ∨ p’ ) ( Identidad ) 
⇔ ( ( p’ )’ ∨ q ) ∧ ( q’ ∨ p’ ) ( Doble Negación ) 
⇔ ( p’ → q ) ∧ ( q → p’ ) ( Definición ) 
⇔ p’ ↔ q ( Definición ) 
12 ) ( p → q ) ∧ ( p → r ) ⇔ p → ( q ∧ r ) 
( p → q ) ∧ ( p → r ) ⇔ ( p’ ∨ q ) ∧ ( p’ ∨ r ) ( Definición ) 
⇔ p’ ∨ ( q ∧ r ) ( Distributividad ) 
⇔ p → ( q ∧ r ) ( Definición ) 
13 ) ( p → q ) ∨ ( p → r ) ⇔ p → ( q ∨ r ) 
( p → q ) ∨ ( p → r ) ⇔ ( p’ ∨ q ) ∨ ( p’ ∨ r ) ( Definición ) 
⇔ ( ( p’ ∨ q ) ∨ p’ ) ∨ r ( Asociatividad ) 
⇔ ( p’ ∨ ( q ∨ p’ ) ) ∨ r ( Asociatividad ) 
⇔ ( p’ ∨ ( p’ ∨ q ) ) ∨ r ( Conmutatividad ) 
⇔ ( ( p’ ∨ p’ ) ∨ q ) ∨ r ( Asociatividad ) 
⇔ ( p’ ∨ q ) ∨ r ( Idempotencia ) 
⇔ p’ ∨ ( q ∨ r ) ( Asociatividad ) 
⇔ p → ( q ∨ r ) ( Definición ) 
14 ) ( p → r ) ∧ ( q → r ) ⇔ ( p ∨ q ) → r 
( p → r ) ∧ ( q → r ) ⇔ ( p’ ∨ r ) ∧ ( q’ ∨ r ) ( Definición ) 
⇔ ( p’ ∧ q’ ) ∨ r ( Distributividad ) 
⇔ ( p ∨ q )’ ∨ r ( De Morgan ) 
⇔ ( p ∨ q ) → r ( Definición )
15 ) ( p → r ) ∨ ( q → r ) ⇔ ( p ∧ q ) → r 
( p → r ) ∨ ( q → r ) ⇔ ( p’ ∨ r ) ∨ ( q’ ∨ r ) ( Definición ) 
⇔ p’ ∨ ( r ∨ ( q’ ∨ r ) ) ( Asociatividad ) 
⇔ p’ ∨ ( ( r ∨ q’ ) ∨ r ) ( Asociatividad ) 
⇔ p’ ∨ ( ( q’ ∨ r ) ∨ r ) ( Conmutatividad ) 
⇔ p’ ∨ ( q’ ∨ ( r ∨ r ) ) ( Asociatividad ) 
⇔ p’ ∨ ( q’ ∨ r ) ( Idempotencia ) 
⇔ ( p’ ∨ q’ ) ∨ r ( Asociatividad ) 
⇔ ( p ∧ q )’ ∨ r ( De Morgan ) 
⇔ ( p ∧ q ) → r ( Definición ) 
16 ) p ⇒ p ∨ q 
Sea p Verdadero, entonces: 
p ∨ q ⇔ V ∨ q ( p ⇔ V ) 
⇔ V ( Identidad ) 
17 ) p ⇒ q → p 
Sea p Verdadero, entonces: 
q → p ⇔ q’ ∨ p ( Definición ) 
⇔ q’ ∨ V ( p ⇔ V ) 
⇔ V ( Identidad ) 
18 ) p’ ⇒ p → q 
Sea p’ Verdadero, entonces: 
p → q ⇔ p’ ∨ q ( Definición ) 
⇔ V ∨ q ( p’ ⇔ V ) 
⇔ V ( Identidad ) 
19 ) ( p ∧ p’ ) ⇒ q 
Equivale a demostrar: 
q’ ⇒ ( p ∧ p’ )’ ( Contra recíproco ) 
Sea q’ Verdadero, entonces: 
( p ∧ p’ )’ ⇔ F’ ( Complemento ) 
⇔ V ( Complemento ) 
20 ) ( p → q ) ∧ p ⇒ q 
Equivale a demostrar: 
q’ ⇒ ( ( p → q ) ∧ p )’ ( Contra recíproco ) 
Sea q’ Verdadero, entonces: 
( ( p → q ) ∧ p )’ ⇔ ( ( p’ ∨ q ) ∧ p )’ ( Definición ) 
⇔ ( p’ ∨ q )’ ∨ p’ ( De Morgan ) 
⇔ ( ( p’ )’ ∧ q’ ) ∨ p’ ( De Morgan ) 
⇔ ( p ∧ q’ ) ∨ p’ ( Doble Negación ) 
⇔ ( p ∧ V ) ∨ p’ ( q’ ⇔ V ) 
⇔ p ∨ p’ ( Identidad ) 
⇔ V ( Complemento )
21 ) ( p → q ) ∧ q’ ⇒ p’ 
Equivale a demostrar: 
p ⇒ ( ( p → q ) ∧ q’ )’ ( Contra recíproco ) 
Sea p Verdadero, entonces: 
( ( p → q ) ∧ q’ )’ ⇔ ( ( p’ ∨ q ) ∧ q’ )’ ( Definición ) 
⇔ ( ( p’ ∧ q’ ) ∨ ( q ∧ q’ ) )’ ( Distributividad ) 
⇔ ( ( p’ ∧ q’ ) ∨ F )’ ( Complemento ) 
⇔ ( p’ ∧ q’ )’ ( Identidad ) 
⇔ p ∨ q ( De Morgan y Doble Negación ) 
⇔ V ∨ q ( p ⇔ V ) 
⇔ V ( Identidad ) 
22 ) p’ ⇔ p ↑ p 
p ↑ p ⇔ ( p ∧ p )’ ( Definición ) 
⇔ p’ ( Idempotencia ) 
23 ) p’ ⇔ p ↓ p 
p ↓ p ⇔ ( p ∨ p )’ ( Definición ) 
⇔ p’ ( Idempotencia ) 
24 ) p ∧ q ⇔ ( p ↑ q ) ↑ ( p ↑ q ) 
( p ↑ q ) ↑ ( p ↑ q ) ⇔ ( ( p ∧ q )’ ∧ ( p ∧ q )’ )’ ( Definición ) 
⇔ ( ( p ∧ q )’ )’ ( Idempotencia ) 
⇔ p ∧ q ( Doble Negación ) 
25 ) p ∧ q ⇔ ( p ↓ p ) ↓ ( q ↓ q ) 
( p ↓ p ) ↓ ( q ↓ q ) ⇔ ( ( p ∨ p )’ ∨ ( q ∨ q )’ )’ ( Definición ) 
⇔ ( p’ ∨ q’ )’ ( Idempotencia ) 
⇔ p ∧ q ( Definición ) 
26 ) p ∨ q ⇔ ( p ↓ q ) ↓ ( p ↓ q ) 
( p ↓ q ) ↓ ( p ↓ q ) ⇔ ( ( p ∨ q )’ ∨ ( p ∨ q )’ )’ ( Definición ) 
⇔ ( ( p ∨ q )’ )’ ( Idempotencia ) 
⇔ p ∨ q ( Doble Negación ) 
27 ) p ∨ q ⇔ ( p ↑ p ) ↑ ( q ↑ q ) 
( p ↑ p ) ↑ ( q ↑ q ) ⇔ ( ( p ∧ p )’ ∧ ( q ∧ q )’ )’ ( Definición ) 
⇔ ( p’ ∧ q’ )’ ( Idempotencia ) 
⇔ p ∨ q ( De Morgan y Doble Negación )

Weitere ähnliche Inhalte

Was ist angesagt?

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
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicionalJesus García Asensio
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
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
 
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
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]Victor Alegre
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IIvalefrey1
 

Was ist angesagt? (20)

Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Lógica Sesión N°3
Lógica Sesión N°3Lógica Sesión N°3
Lógica Sesión N°3
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
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
 
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
 
Función proposicional [recuperado]
Función proposicional [recuperado]Función proposicional [recuperado]
Función proposicional [recuperado]
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 

Andere mochten auch

Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaDairo Estrada Talaigua
 
Lógica
LógicaLógica
Lógicacjperu
 
Preguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposicionesPreguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposicionessigherrera
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógicaBertha Vega
 
Inteligencia logica matematica ok
Inteligencia logica matematica okInteligencia logica matematica ok
Inteligencia logica matematica okmipergar2014
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1bruno beltran
 
Actividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesActividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesSan Martin Schilling
 

Andere mochten auch (13)

Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
ejercicios basicos de logica matematica
ejercicios basicos de logica matematicaejercicios basicos de logica matematica
ejercicios basicos de logica matematica
 
Como realizar una tablade verdad.
Como realizar una tablade verdad.Como realizar una tablade verdad.
Como realizar una tablade verdad.
 
Habilidades matematicas 1 Secundaria
Habilidades matematicas 1 SecundariaHabilidades matematicas 1 Secundaria
Habilidades matematicas 1 Secundaria
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
 
Lógica
LógicaLógica
Lógica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Preguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposicionesPreguntas simulacro lógica de proposiciones
Preguntas simulacro lógica de proposiciones
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Inteligencia logica matematica ok
Inteligencia logica matematica okInteligencia logica matematica ok
Inteligencia logica matematica ok
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1Desarrollo del pensamiento lógico matemático 1
Desarrollo del pensamiento lógico matemático 1
 
Actividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienesActividades para desarrollar pensamiento lógicomatemático dienes
Actividades para desarrollar pensamiento lógicomatemático dienes
 

Mehr von Victor Alonso Jimenez (8)

Codigo de trabajo y sus reformas
Codigo de trabajo y sus reformasCodigo de trabajo y sus reformas
Codigo de trabajo y sus reformas
 
Guia resumen-ejecutivo
Guia resumen-ejecutivoGuia resumen-ejecutivo
Guia resumen-ejecutivo
 
Hacia una pedagogía de la pregunta
Hacia una pedagogía de la preguntaHacia una pedagogía de la pregunta
Hacia una pedagogía de la pregunta
 
Excel revelado
Excel reveladoExcel revelado
Excel revelado
 
9. los valores
9.  los valores9.  los valores
9. los valores
 
Access desde cero
Access desde ceroAccess desde cero
Access desde cero
 
Overclocking
OverclockingOverclocking
Overclocking
 
Temario
TemarioTemario
Temario
 

Ejercicios de logica matematica (resueltos)

  • 1. EJERCICIOS DE LOGICA MATEMATICA A ) Usando tablas demostrar: 1 ) ( p’ )’ ⇔ p p p’ ( p’ )’ V F V F V F 2 ) p ∧ p’ ⇔ F p p’ p ∧ p’ V F F F V F 3 ) p ∨ p’ ⇔ V p p’ p ∨ p’ V F V F V V 4 ) p ∨ V ⇔ V p V p ∨ V V V V F V V 5 ) p ∧ V ⇔ p p V p ∧ V V V V F V F 6 ) p ∨ F ⇔ p p F p ∨ F V F V F F F 7 ) p ∧ F ⇔ F p F p ∧ F V F F F F F
  • 2. 8 ) p ∧ ( p ∨ q ) ⇔ p p q p ∨ q p ∧ ( p ∨ q ) V V V V V F V V F V V F F F F F 9 ) p ∨ ( p ∧ q ) ⇔ p p q p ∧ q p ∨ ( p ∧ q ) V V V V V F F V F V F F F F F F 10 ) ( p ∧ q )’ ⇔ p’ ∨ q’ p q p’ q’ p ∧ q ( p ∧ q )’ p’ ∨ q’ V V F F V F F V F F V F V V F V V F F V V F F V V F V V 11 ) ( p ∨ q )’ ⇔ p’ ∧ q’ p q p’ q’ p ∨ q ( p ∨ q )’ p’ ∧ q’ V V F F V F F V F F V V F F F V V F V F F F F V V F V V 12 ) ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r ) p q r p ∧ q q ∧ r ( p ∧ q ) ∧ r p ∧ ( q ∧ r ) V V V V V V V V V F V F F F V F V F F F F V F F F F F F F V V F V F F F V F F F F F F F V F F F F F F F F F F F
  • 3. 13 ) ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r ) p q r p ∨ q q ∨ r ( p ∨ q ) ∨ r p ∨ ( q ∨ r ) V V V V V V V V V F V V V V V F V V V V V V F F V F V V F V V V V V V F V F V V V V F F V F V V V F F F F F F F 14 ) ( p ↔ q ) ↔ r ⇔ p ↔ ( q ↔ r ) p q r p ↔ q q ↔ r ( p ↔ q ) ↔ r p ↔ ( q ↔ r ) V V V V V V V V V F V F F F V F V F F F F V F F F V V V F V V F V F F F V F F F V V F F V V F V V F F F V V F F 15 ) p ∧ ( q ∨ r ) ⇔ ( p ∧ q ) ∨ ( p ∧ r ) p q r p ∧ q p ∧ r q ∨ r p ∧ ( q ∨ r ) ( p ∧ q ) ∨ ( p ∧ r ) V V V V V V V V V V F V F V V V V F V F V V V V V F F F F F F F F V V F F V F F F V F F F V F F F F V F F V F F F F F F F F F F
  • 4. 16 ) p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧ ( p ∨ r ) p q r p ∨ q p ∨ r q ∧ r p ∨ ( q ∧ r ) ( p ∨ q ) ∧ ( p ∨ r ) V V V V V V V V V V F V V F V V V F V V V F V V V F F V V F V V F V V V V V V V F V F V F F F F F F V F V F F F F F F F F F F F 17 ) p’ ∨ q ⇔ p → q p q p’ p’ ∨ q p → q V V F V V V F F F F F V V V V F F V V V 18 ) p ↔ q ⇔ ( p → q ) ∧ ( q → p ) p q p → q q → p ( p → q ) ∧ ( q → p ) p ↔ q V V V V V V V F F V F F F V V F F F F F V V V V 19 ) p ↑ q ⇔ ( p ∧ q )’ p q p ∧ q ( p ∧ q )’ p ↑ q V V V F F V F F V V F V F V V F F F V V 20 ) p ↓ q ⇔ ( p ∨ q )’ p q p ∨ q ( p ∨ q )’ p ↓ q V V V F F V F V F F F V V F F F F F V V
  • 5. 21 ) p ⊕ q ⇔ ( p ∨ q ) ∧ ( p ∧ q )’ p q p ∧ q ( p ∧ q )’ p ∨ q ( p ∨ q ) ∧ ( p ∧ q )’ p ⊕ q V V V F V F F V F F V V V V F V F V V V V F F F V F F F B ) A partir de los conectivos negación ( ‘ ) y disyunción ( ∨ ) se definen: p ∧ q =def ( p’ ∨ q’ )’ p → q =def p’ ∨ q p ↔ q =def ( p → q ) ∧ ( q → p ) p ⊕ q =def ( p ∧ q’ ) ∨ ( p’ ∧ q ) p ↑ q =def ( p ∧ q )’ p ↓ q =def ( p ∨ q )’ Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) p → q ⇔ q’ → p’ q’ → p’ ⇔ ( q’ )’ ∨ p’ ( Definición ) ⇔ q ∨ p’ ( Doble Negación ) ⇔ p’ ∨ q ( Conmutatividad ) ⇔ p → q ( Definición ) 2 ) ( p → q )’ ⇔ p ∧ q’ ( p → q )’ ⇔ ( p’ ∨ q )’ ( Definición ) ⇔ ( p’ )’ ∧ q’ ( De Morgan ) ⇔ p ∧ q’ ( Doble Negación ) 3 ) p → ( q ∧ q’ ) ⇔ p’ p → ( q ∧ q’ ) ⇔ p → F ( Complemento ) ⇔ p’ ∨ F ( Definición ) ⇔ p’ ( Identidad ) 4 ) ( q ∨ q’ ) → p ⇔ p ( q ∨ q’ ) → p ⇔ ( q ∨ q’ )’∨ p ( Definición ) ⇔ V’ ∨ p ( Complemento ) ⇔ F ∨ p ( Complemento ) ⇔ p ( Identidad ) 5 ) ( p ∧ q ) → r ⇔ p → ( q → r ) ( p ∧ q ) → r ⇔ ( p ∧ q )’ ∨ r ( Definición ) ⇔ ( p’ ∨ q’ ) ∨ r ( De Morgan ) ⇔ p’ ∨ ( q’ ∨ r ) ( Asociatividad ) ⇔ p → ( q → r ) ( Definición )
  • 6. 6 ) p → ( q → r ) ⇔ q → ( p → r ) p → ( q → r ) ⇔ p’ ∨ ( q’ ∨ r ) ( Definición ) ⇔ ( p’ ∨ q’ ) ∨ r ( Asociatividad ) ⇔ ( q’ ∨ p’ ) ∨ r ( Conmutatividad ) ⇔ q’ ∨ ( p’ ∨ r ) ( Asociatividad ) ⇔ q → ( p → r ) ( Definición ) 7 ) ( p → q ) ↔ p ⇔ p ∧ q ( p → q ) ↔ p ⇔ ( ( p → q ) → p ) ∧ ( p → ( p → q ) ) ( Definición ) ⇔ ( ( p → q )’ ∨ p ) ∧ ( p’ ∨ ( p → q ) ) ( Definición ) ⇔ ( ( p’ ∨ q )’ ∨ p ) ∧ ( p’ ∨ ( p’ ∨ q ) ) ( Definición ) ⇔ ( ( p ∧ q’ ) ∨ p ) ∧ ( p’ ∨ ( p’ ∨ q ) ) ( De Morgan ) ⇔ p ∧ ( p’ ∨ ( p’ ∨ q ) ) ( Absorción ) ⇔ p ∧ ( ( p’ ∨ p’ ) ∨ q ) ( Asociatividad ) ⇔ p ∧ ( p’ ∨ q ) ( Idempotencia ) ⇔ ( p ∧ p’ ) ∨ ( p ∧ q ) ( Distributividad ) ⇔ F ∨ ( p ∧ q ) ( Complemento ) ⇔ p ∧ q ( Identidad ) 8 ) ( p → q ) ↔ q ⇔ p ∨ q ( p → q ) ↔ q ⇔ ( ( p → q ) → q ) ∧ ( q → ( p → q ) ) ( Definición ) ⇔ ( ( p → q )’ ∨ q ) ∧ ( q’ ∨ ( p → q ) ) ( Definición ) ⇔ ( ( p’ ∨ q )’ ∨ q ) ∧ ( q’ ∨ ( p’ ∨ q ) ) ( Definición ) ⇔ ( ( ( p’ )’ ∧ q’ ) ∨ q ) ∧ ( q’ ∨ ( p’ ∨ q ) ) ( De Morgan ) ⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( q’ ∨ ( p’ ∨ q ) ) ( Doble Negación ) ⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( q’ ∨ ( q ∨ p’ ) ) ( Conmutatividad ) ⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( ( q’ ∨ q ) ∨ p’ ) ( Asociatividad ) ⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( V ∨ p’ ) ( Complemento ) ⇔ ( ( p ∧ q’ ) ∨ q ) ∧ V ( Identidad ) ⇔ ( ( p ∧ q’ ) ∨ q ) ( Identidad ) ⇔ ( p ∨ q ) ∧ ( q’ ∨ q ) ( Distributividad ) ⇔ ( p ∨ q ) ∧ V ( Complemento ) ⇔ p ∨ q ( Identidad ) 9 ) p ↔ q ⇔ ( p ∧ q ) ∨ ( p’ ∧ q’ ) p ↔ q ⇔ ( p → q ) ∧ ( q → p ) ( Definición ) ⇔ ( p’ ∨ q ) ∧ ( q’ ∨ p ) ( Definición ) ⇔ ( p’ ∧ ( q’ ∨ p ) ) ∨ ( q ∧ ( q’ ∨ p ) ) ( Distributividad ) ⇔ ( ( p’ ∧ q’ ) ∨ ( p’ ∧ p ) ) ∨ ( ( q ∧ q’ ) ∨ ( q ∧ p ) ) ( Distributividad ) ⇔ ( ( p’ ∧ q’ ) ∨ F ) ∨ ( F ∨ ( q ∧ p ) ) ( Complemento ) ⇔ ( p’ ∧ q’ ) ∨ ( q ∧ p ) ( Identidad ) ⇔ ( p ∧ q ) ∨ ( p’ ∧ q’ ) ( Conmutatividad )
  • 7. 10 ) p’ ↔ q’ ⇔ p ↔ q p’ ↔ q’ ⇔ ( p’ → q’ ) ∧ ( q’ → p’ ) ( Definición ) ⇔ ( ( p’ )’ ∨ q’ ) ∧ ( ( q’ )’ ∨ p’ ) ( Definición ) ⇔ ( p ∨ q’ ) ∧ ( q ∨ p’ ) ( Doble Negación ) ⇔ ( q’ ∨ p ) ∧ ( p’ ∨ q ) ( Conmutatividad ) ⇔ ( q → p ) ∧ ( p → q ) ( Definición ) ⇔ ( p → q ) ∧ ( q → p ) ( Conmutatividad ) ⇔ p ↔ q ( Definición ) 11 ) ( p ↔ q )’ ⇔ p’ ↔ q ( p ↔ q )’ ⇔ ( ( p → q ) ∧ ( q → p ) )’ ( Definición ) ⇔ ( ( p’ ∨ q ) ∧ ( q’ ∨ p ) )’ ( Definición ) ⇔ ( p’ ∨ q )’ ∨ ( q’ ∨ p )’ ( De Morgan ) ⇔ ( ( p’ )’ ∧ q’ ) ∨ ( ( q’ )’ ∧ p’ ) ( De Morgan ) ⇔ ( p ∧ q’ ) ∨ ( q ∧ p’ ) ( Doble Negación ) ⇔ ( ( p ∧ q’ ) ∨ q ) ∧ ( ( p ∧ q’ ) ∨ p’ ) ( Distributividad ) ⇔ ( ( p ∨ q ) ∧ ( q’ ∨ q ) )∧( ( p ∨ p’ ) ∧ ( q’ ∨ p’ ) ) ( Distributividad ) ⇔ ( ( p ∨ q ) ∧ V ) ∧ ( V ∧ ( q’ ∨ p’ ) ) ( Complemento ) ⇔ ( p ∨ q ) ∧ ( q’ ∨ p’ ) ( Identidad ) ⇔ ( ( p’ )’ ∨ q ) ∧ ( q’ ∨ p’ ) ( Doble Negación ) ⇔ ( p’ → q ) ∧ ( q → p’ ) ( Definición ) ⇔ p’ ↔ q ( Definición ) 12 ) ( p → q ) ∧ ( p → r ) ⇔ p → ( q ∧ r ) ( p → q ) ∧ ( p → r ) ⇔ ( p’ ∨ q ) ∧ ( p’ ∨ r ) ( Definición ) ⇔ p’ ∨ ( q ∧ r ) ( Distributividad ) ⇔ p → ( q ∧ r ) ( Definición ) 13 ) ( p → q ) ∨ ( p → r ) ⇔ p → ( q ∨ r ) ( p → q ) ∨ ( p → r ) ⇔ ( p’ ∨ q ) ∨ ( p’ ∨ r ) ( Definición ) ⇔ ( ( p’ ∨ q ) ∨ p’ ) ∨ r ( Asociatividad ) ⇔ ( p’ ∨ ( q ∨ p’ ) ) ∨ r ( Asociatividad ) ⇔ ( p’ ∨ ( p’ ∨ q ) ) ∨ r ( Conmutatividad ) ⇔ ( ( p’ ∨ p’ ) ∨ q ) ∨ r ( Asociatividad ) ⇔ ( p’ ∨ q ) ∨ r ( Idempotencia ) ⇔ p’ ∨ ( q ∨ r ) ( Asociatividad ) ⇔ p → ( q ∨ r ) ( Definición ) 14 ) ( p → r ) ∧ ( q → r ) ⇔ ( p ∨ q ) → r ( p → r ) ∧ ( q → r ) ⇔ ( p’ ∨ r ) ∧ ( q’ ∨ r ) ( Definición ) ⇔ ( p’ ∧ q’ ) ∨ r ( Distributividad ) ⇔ ( p ∨ q )’ ∨ r ( De Morgan ) ⇔ ( p ∨ q ) → r ( Definición )
  • 8. 15 ) ( p → r ) ∨ ( q → r ) ⇔ ( p ∧ q ) → r ( p → r ) ∨ ( q → r ) ⇔ ( p’ ∨ r ) ∨ ( q’ ∨ r ) ( Definición ) ⇔ p’ ∨ ( r ∨ ( q’ ∨ r ) ) ( Asociatividad ) ⇔ p’ ∨ ( ( r ∨ q’ ) ∨ r ) ( Asociatividad ) ⇔ p’ ∨ ( ( q’ ∨ r ) ∨ r ) ( Conmutatividad ) ⇔ p’ ∨ ( q’ ∨ ( r ∨ r ) ) ( Asociatividad ) ⇔ p’ ∨ ( q’ ∨ r ) ( Idempotencia ) ⇔ ( p’ ∨ q’ ) ∨ r ( Asociatividad ) ⇔ ( p ∧ q )’ ∨ r ( De Morgan ) ⇔ ( p ∧ q ) → r ( Definición ) 16 ) p ⇒ p ∨ q Sea p Verdadero, entonces: p ∨ q ⇔ V ∨ q ( p ⇔ V ) ⇔ V ( Identidad ) 17 ) p ⇒ q → p Sea p Verdadero, entonces: q → p ⇔ q’ ∨ p ( Definición ) ⇔ q’ ∨ V ( p ⇔ V ) ⇔ V ( Identidad ) 18 ) p’ ⇒ p → q Sea p’ Verdadero, entonces: p → q ⇔ p’ ∨ q ( Definición ) ⇔ V ∨ q ( p’ ⇔ V ) ⇔ V ( Identidad ) 19 ) ( p ∧ p’ ) ⇒ q Equivale a demostrar: q’ ⇒ ( p ∧ p’ )’ ( Contra recíproco ) Sea q’ Verdadero, entonces: ( p ∧ p’ )’ ⇔ F’ ( Complemento ) ⇔ V ( Complemento ) 20 ) ( p → q ) ∧ p ⇒ q Equivale a demostrar: q’ ⇒ ( ( p → q ) ∧ p )’ ( Contra recíproco ) Sea q’ Verdadero, entonces: ( ( p → q ) ∧ p )’ ⇔ ( ( p’ ∨ q ) ∧ p )’ ( Definición ) ⇔ ( p’ ∨ q )’ ∨ p’ ( De Morgan ) ⇔ ( ( p’ )’ ∧ q’ ) ∨ p’ ( De Morgan ) ⇔ ( p ∧ q’ ) ∨ p’ ( Doble Negación ) ⇔ ( p ∧ V ) ∨ p’ ( q’ ⇔ V ) ⇔ p ∨ p’ ( Identidad ) ⇔ V ( Complemento )
  • 9. 21 ) ( p → q ) ∧ q’ ⇒ p’ Equivale a demostrar: p ⇒ ( ( p → q ) ∧ q’ )’ ( Contra recíproco ) Sea p Verdadero, entonces: ( ( p → q ) ∧ q’ )’ ⇔ ( ( p’ ∨ q ) ∧ q’ )’ ( Definición ) ⇔ ( ( p’ ∧ q’ ) ∨ ( q ∧ q’ ) )’ ( Distributividad ) ⇔ ( ( p’ ∧ q’ ) ∨ F )’ ( Complemento ) ⇔ ( p’ ∧ q’ )’ ( Identidad ) ⇔ p ∨ q ( De Morgan y Doble Negación ) ⇔ V ∨ q ( p ⇔ V ) ⇔ V ( Identidad ) 22 ) p’ ⇔ p ↑ p p ↑ p ⇔ ( p ∧ p )’ ( Definición ) ⇔ p’ ( Idempotencia ) 23 ) p’ ⇔ p ↓ p p ↓ p ⇔ ( p ∨ p )’ ( Definición ) ⇔ p’ ( Idempotencia ) 24 ) p ∧ q ⇔ ( p ↑ q ) ↑ ( p ↑ q ) ( p ↑ q ) ↑ ( p ↑ q ) ⇔ ( ( p ∧ q )’ ∧ ( p ∧ q )’ )’ ( Definición ) ⇔ ( ( p ∧ q )’ )’ ( Idempotencia ) ⇔ p ∧ q ( Doble Negación ) 25 ) p ∧ q ⇔ ( p ↓ p ) ↓ ( q ↓ q ) ( p ↓ p ) ↓ ( q ↓ q ) ⇔ ( ( p ∨ p )’ ∨ ( q ∨ q )’ )’ ( Definición ) ⇔ ( p’ ∨ q’ )’ ( Idempotencia ) ⇔ p ∧ q ( Definición ) 26 ) p ∨ q ⇔ ( p ↓ q ) ↓ ( p ↓ q ) ( p ↓ q ) ↓ ( p ↓ q ) ⇔ ( ( p ∨ q )’ ∨ ( p ∨ q )’ )’ ( Definición ) ⇔ ( ( p ∨ q )’ )’ ( Idempotencia ) ⇔ p ∨ q ( Doble Negación ) 27 ) p ∨ q ⇔ ( p ↑ p ) ↑ ( q ↑ q ) ( p ↑ p ) ↑ ( q ↑ q ) ⇔ ( ( p ∧ p )’ ∧ ( q ∧ q )’ )’ ( Definición ) ⇔ ( p’ ∧ q’ )’ ( Idempotencia ) ⇔ p ∨ q ( De Morgan y Doble Negación )