I.

PROPOSICIONES COMPUESTAS O MOLECULARES

Ejemplo 1:

p q ( p  q)  p
V V F V V V
V F V F V V
F V V F V F
F F V F V F

Ejemplo 2:

p q r p  (q  r)
V V V V V V
V V F V F F
V F V V F F
V F F V F F
F V V F V V
F V F F V F
F F V F V F
F F F F V F

Ejemplo 3:

p q r ( p  q )  ( p  r )
V V V V F F V V
V V F V F F V F
V F V V V V V V
V F F V V V F F
F V V F F F V V
F V F F F F V V
F F V F F V V V
F F F F F V V V

Ejemplo 4:
 p q r  (p  q)  r    (q  r)  q 
V V V V V V V V V V
V V F V F F V F V V
V F V F V V V F V F
V F F F V F V F V F
F V V F V V V V V V
F V F F V F V F V V
F F V F V V V F V F
F F F F V F V F V F

Ejemplo 5:

p q r r   ( p  q)
V V V V V F V
V V F F V F V
V F V V F V F
V F F F V V F
F V V V V F V
F V F F V F V
F F V V V F V
F F F F V F V

II. PROPOSICIONES TAUTOLÓGICAS

Ejemplo 1:

p q ( p  q)  (p  q)
V V V V F V V F FV
V F V V V V V F FF
F V F F F V F V VV
F F F V V V V V FF

Ejemplo 2:
 p q  (p  q )  q   p
V V V V F VV V V
V F V V V FF V V
F V F F F FV V F
F F F V V FF V F

Ejemplo 3:

p q  (p  q)  q   q
V V V V V V V V V
V F V F F F F V F
F V F F V V V V V
F F F F F F F V F

Ejemplo 4:

p q r  p  (q  r)   (p  q)  ( p  r)

V V V F F V V F V F FV F FVVV
V V F F F V V V V F FV F FVV F
V F V F F F F F V F FF F FVVV
V F F F F F V V V F FF F FV V F
F V V V V V V F V V VV V FFVV
F V F V V V V V V V VV V VFFF
F F V V F F F F V V FF F FFVV
F F F V V F V V V V FF V VFFF

Ejemplo 5:

p q  (p  q )  p    ( p  q )  p 
V V F F F V V V V V V
V F F F V V V V F V V
F V V F F V F V V V F
F F V V V V F V V V F

III. PROPOSICIONES CONTRADICTORIAS

Ejemplo 1:

p q ( p  q)  q
V V F V F V
V F F V F F
F V F V F F
F F V F F F

Ejemplo 2:

p q  (p  q )  p   ( p  q)
V V F V V VV F F V
V F F F F FV F V F
F V V V V FF F V F
F F V V F FF F V F

Ejemplo 3:

p q ( p  q)  ( p q)
V V V F F
V F F F V
F V F F V
F F V F F

Ejemplo 4:

p q   ( p  q)  p   ( p  q)
V V V V F F F F V
V F F F V F F V F
F V F F V V F V F
F F F V V V F V F

Ejemplo 5:
 p q r  p   (q  r)   (r  q)  p
V V V F V F V F V F F VV
V V F F V V F F F V F VV
V F V F V V F F V V V VV
V F F F V V F F F V V VV
F V V V F F V F V F F FF
F V F V V V F F F V F VF
F F V V V V F F V V V VF
F F F V V V F F F V V VF

IV. PROPOSICIONES CONTINGENTES

Ejemplo 1:

p q p  (p  q)
V V V V V
V F V F F
F V F V F
F F F V F

Ejemplo 2:

p q  (p  q )  q   p
V V V F F V V
V F F F V V V
F V F V F V F
F F F F V F F

Ejemplo 3:

p q   (p  q)  p   ( p  q)
V V F V VV V V
V F V F VV F F
F V V F VF F F
F F V F VF V V

Ejemplo 4:

p q  (p  q )  p    (p  q )  q 
V V V F F VV F V F F VV
V F V V V VV F V V V VF
F V F F F FF V F F F VV
F F F F V FF F F F V FF

Ejemplo 5:
p q r  (p  q)  ( p  r)  (q  r)
V V V V VV V F VV F V FV
V V F V VV F F FF V VVF
V F V V FF F F VV V FVV
V F F V FF F F FF V FFF
F V V F VV V V VV F V FV
F V F F VV V V VF V VVF
F F V F VF V V VV V FVV
F F F F VF V V VF F FFF