1ra aportación

El día de hoy quede de verme con mi amiga. Pero hoy mi amigo organizo una fiesta por su cumpleaños y hace mucho que no lo veo. si ya tiene tiempo que no lo veo, entonces veo a mi amiga y la llevo conmigo a la fiesta de mi amigo. Por lo tanto, sí veo a mi amiga y si voy a la fiesta.



R
P^S
S→(R^P)
-----------
R^P




Por Método Directo resulta que es Válido:


R , P ^ S , S →( R ^ P ) , ├ R ^ P
1 1 1 1 1 1 1 1
1 1 1
-------------------------------------------------
1 1 1 1



Demostracíon:
1.- R
2.- P ^ S
3.- S → ( R^P)
4.- P (2. L. adjunción)
5.- S (2. L. adjunción)
6.- R^P (1, 3, M. T.T)