Aportación:

Esta aportación no es algo tan cotidiano en todas las personas, pero solo es un ejemplo de una persona que tenga deudas o digamos poco dinero, y como en todos las casas se tienen que pagar cosas como el predio y el objetivo es comprobar que seguira teniendo deudas.

(Ù= y)

Pago el predio y no me cobran intereses

P Ù ¬ Q

Pido prestado ó no pago el predio

S v ¬ P

Si, pago el predio y me quedo sin dinero, entonces pido prestado y crecen mis deudas.

(P Ù R) → (S Ù T)

P: pago el predio.

Q: crecen los intereses

R: me quedo sin dinero.

S: pido prestado.

T: crecen deudas.

Validación

P Ù ¬ Q, S v ¬ P, (P Ù R) → (S Ù T) ├─ T

P Ù ¬ Q	S v ¬ P	(P Ù R) → (S Ù T)	├─ T
I O	I	I I I I	I
I	I O	I I
I	I	I	I

1: P Ù ¬ Q

2: S v ¬ P,)

3: (P Ù R) → (S Ù T)

4: P (1, 2, 3, Ley de simplificación)

5: ¬ Q (1, M.P.P)

6: R (3, 4, ley de la adjunción)

7: S (3, 2, ley de la adjunción)

8: T (3, 7, ley de la adjuncion)