Ejercicios 2
Por ley del condicional 
p    →  q   ≡   ~p  v  q    


Demostración
(p     →     q)   ↔    (~p     v      q )
 1      1     1       1        0      1      1
 1      0     0       0        0      1      0
 0      1     1       1        1      1      1
 0      1     0       1        1      1      0
 
Por ley del contra recíproco
P    →  q   ≡  ~q    →  ~p


Demostración
( p   →     q)      ↔    (~q   →   ~p)
 1     1      1        0        0     0      0         
 1     0      0        1        1     0      0
 0     1      1        0        0     0      1
 0     1      0        0        1     0      1 
                                                                   
Por reducción al absurdo
p    →  q  ≡  (p  ^  ~q    →   0 )


Demostración
P     →    q    ↔ ( p     ^     ~q     →    0 )
1      1     1     1     1      0     0       1     0
1      0     0     1     1      1     1       0     0 
0      1     1     1     0      0     0       1     0 
0      1     0     1     0      0     1       1     0