Showing Valid Predicate Inference Examples 2

In this class, We discuss Showing Valid Predicate Inference Examples 2.

The reader should have prior knowledge of equivalence formulas. Click Here.

Example:

Given premises

1) (∃x)(F(x) ∧ S(x)) -> (y)(M(y) -> W(y))

2) (∃y)(M(y) ∧ ¬W(y))

Conclude (x) (F(x) -> ¬S(x)) from the above premises.

The below diagram shows the derivation.