Regla de casos, RC, vista hoy:


A v B
A--->C
B--->C
--------------
C


Ejemplo:

1. p v q   (prem.)
2. p--->(r&s)   (prem.)
3. q ---> (r&s)   (prem.)    derivar:  r&s
4. r&s  RC 1,2,3.


Ejercicios:

1. p--->(q v r)   (pr.)
2. q ---> (t & m)  (pr.)
3. r --->(t&m)   (pr.)
4. p  (pr.)      derivar: m  & p
  



1. p v (q&p)  (pr.)
2. p--->q        (pr.)          Derivar: q