Clase del 05/04

1) Determinar la validez de los siguientes razonamientos mediante condicional asociado.

a) Modus Ponens 

1_ p --> q      

2_ p .: q  

b) Modus Tollens

1_ p --> q              
2_ ~q .: ~p

c) Silogismo Disyuntivo

1_ p v q            
2_ ~p .: q

d) Silogismo Hipotético

1_ p --> q                            
2_ q --> r .: p --> r

e) Dilema Constructivo

1_ (p --> q) . ( r --> s)              
2_ p v r .: q v s

f) Absorción (Abs)

1_ p --> q .: p --> (p . q)                

g) Simplificación (Simp)

1_ p . q .: p                  

h) Conjunción (Conj)

1_ p                          
2_ q .: p . q

i) Adición (Ad)

1_ p .: p v q