Demostre que las siguientes premisas son verdaderas:

1)- S → ((- S v - Q)¨(s ¨--q))

2)- (P ¨ H)

3)S →(P ¨ H)

Demostración:

1)- S → ((-S V -Q)¨ (S¨--Q)) P

2)- (P¨H) P

3)S → (P ¨ H) P

4)-S modus tollens (2,3)

5)(-S v -Q)¨ (S ¨ --Q) Modus ponens(1,4)

6) S ¨ --Q Ley de simplificación

7)--Q Ley de simplificación