Ejercicios elementales de práctica de reglas de inferencia.


De las siguientes premisas, derivar la mediante reglas de inferencia conclusión indicada:







1. p&q  (Prem.)   Derivar: q&p



1. p&q  (Prem.)  Derivar: (p&q) & (q&p)




1. p & (q&r)  (Prem.)  Derivar: (p&q) & r




1. p  (Prem.)  
2. q&r   (Prem.)   Derivar: r & p





1. (p&q) ---> r   (Prem.)
2. p                    (Prem.)
3. p--->q             (Prem.)    Derivar:  r&p





1. pvq             (Prem.)
2. s--->-p         (Prem.)
3. s&t              (Prem.)    Derivar: q  (sugerencia: use en algún momento la regla de silogismo disyuntivo; si no conoce el silogismo disyuntivo, espere o averigüe).



1. p & s   (Prem.)   Derivar: p v -q