Paso más ejercicios de PC (prueba condicional) a pedido del público.  De la o las premisas indicadas, derivar la conclusión indicada:


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

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

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


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


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


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


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


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


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


1.  p--->-q  (prem.)  derivar:  q--->-p   (sugerencia: use PC en estrategia y absurdo en sub-estrategia)


1. p--->(q & r)    (prem.)
2. (q v s) ---> (r---->t)   (prem.)    derivar: p--->(q & t)


1. p   (prem.)     derivar:  (q--->-p)---->-q  (sugerencia: use PC en estrategia y absurdo en sub-estrategia)