Ejercicios Resueltos

Fundamentos de la Lógica

1. Determinar, por medio de una tabla de verdad, si cada una de las siguientes proposiciones es una tautología, contradicción o
contingencia.
 p q    p  q     p  q

Solución. -

22  4combinaciones
p q p q p q p q  p q   p  q pq  p  q  p q    p  q     p  q

V V F F F F F F V V
V F F V V V V V F V
F V V F V V V V F V
F F V V F V F F V V
Por lo tanto la proposición es una tautología.

2. Determinar, por medio de una tabla de verdad, si cada una de las siguientes proposiciones es una tautología, contradicción o
contingencia.

 p  q   r    r   p q  

Solución. -

23  8
p q r p q r  p  q  p  q  r  p q r  p q  p  q   r    r   p q  
V V V F F F F V V V V
V V F F F V F V V F F
V F V F V F F V V V V
 V F F F V V F V V F F
F V V V F F V F F F V
F V F V F V V V F F F
F F V V V F F V V V V
F F F V V V F V V F F
Por tanto la proposición es una contingencia y es equivalente a la proposición r.

3. Mediante leyes lógicas, demostrar:

 p  q   p  q  q

Demostración
p q  pq

pq  p  q  p  q

 p  q   p  q   p  q   p  q  q   p  p  q  F  q

4. Simplificar:  p  q    p  q     p  q

Solución. -

 p  q    p  q     p q    p   q  q     p q   p V   p q
 p   p  q    p p    p q   V   p q    p q

5. Simplificar:  p q    p  q     p  q

Solución. –

pq   p  q    q p
 p q p  q   q  p

p q   p q

pq p  q    q  p    p  q    q p

 p q    p  q     p  q    q  p     p q    p q    p  q     p  q    q  p  


  p q   
p   q   p q  
q   p   p  q    q  p    p  q    q  p 

 p q    p  q     p  q    p  q    q  p    p  q    q p 

  p  q    q  p      p  q    q p    p  q    q  p    p  q    q  p 
  p  q   p q     q  p    q  p     p   q  q     p   q  q  
  p V   p V   p  p  V

6. Simplificar:  p  q  r r    q

Solucion.-

 p  q  r r    q   p  q   F   

q   p  q   F    F   p  q    q
   p  q   F   V   p  q    q  p  q V  q  p  q q   p q q
 q

7. Simplificar:  q   r  q     q  p   r 

Solución. -

q  r q  q  r q  q   q  r   q
 q p  r   q p  r   q  p  r

Luego:

 q   r  q     q  p   r   q   q  p  r    q   q  p  r   q   q  p  r 
  q q    p  r   V   p  r   V

8. Simplificar:  p  q   r    r   p q  

Solución. -

pq p  q    q  p    p  q    q p

p q   p  q    q p

Luego:

 p  q   r    r   p q    r   p  q    p 
q    r   p  q    q  p     p  q    q  
p 


 r   p  q    p  q     p  q    p  q   r    p  q    p  q    p  q     p  q 

 r    p  q    p  q      p  q    p  q     p  q   r    p  q    p  q   V    p  q 

 r   p  q    p  q     p  q   r   p  q    p  q     p  q   r  V   p  q 
 r V  r
Inferencia Lógica

Cuando Q es consecuencia o conclusión de las premisas P1 , P2 , P3 ,...., Pn se escribe:

 P1 
P2 
. 
 Pr emisas
. 
. 

Pn 
Q Conclusion

Esto significa que la siguiente implicación es una tautología

 P1  P2  ...  Pn   Q
Reglas de Inferencia

MODUS PONENDO PONENS(PP)

pq
p
q

MODUS TOLLENDO TOLLENS(TT)

pq
q
p

MODUS TOLLENDO PONENS(TP)

 pq pq
p q
q p

LEY DE SILOGISMO HIPOTETICO(SH)

pq
qr
pr

LEY DE SIMPLIFICACION(LS)

pq pq
q p
LEY DE CONJUNCION

p
q
pq

LEY DE ADICION

p
p A

DILEMA CONSTRUCTIVO
 pq
r t
pr
qt

DILEMA DESTRUCTIVO

pq
r t
q t
p r

9. Demostrar: r

i) q p
ii ) t
iii ) p  r
iv) qt
v) q ii y iv TT
vi) p i y v PP
vii) r iii y vi TP

Operaciones auxiliares
 qt q  p pr
t q p
q p r
10. Demostrar: u  v
i )v  p
ii ) p  t
iii ) s  t
iv)q  u
v) s   q  r 
vi ) p ii LS
vii) t ii LS
viii ) v i y vi TT
ix) s iii y vii TT
x) q  r v y ix TP
xi )q x LS
xii)r x LS
xiii )u iv y xi PP
xiv) u  v viii y xiii LC

11. Demostrar: G  F
 i )C  B
ii ) D  E  F 
iii ) A B
iv)  A  E   G
v)C  D
vi ) A iii LS
vii) B iii LS
viii) C i y vii TT
ix) D v y viii TP
x) E  F ii y ix PP
xi) E x LS
xii) F x LS
xiii) A  E vi y xi LC
xiv)G iv y xiii PP
xv) G  F xii y xiv LC

12. Demostrar: r  s

i) p  A
ii ) qB
iii ) pr
iv) A B
v)q  r