Ejercicios fáciles de RAA:


1. p--->-p  (prem.)  derivar: -p


1. p--->-q   (prem.)
2. q---->p   (prem.)    derivar: -q


1. (pvq) ---> (r & -p)    (prem.)   derivar: -p