Showing Valid Inference Examples 1

In this class, We discuss Showing Valid Inference Examples 1.

The reader should have prior knowledge of the list of inference rules. Click Here.

Example 1:

Show r is a valid inference from the given premises.

p -> q, q -> r, and p

The below diagram shows the derivation.

Example 2:

Show that (r ∨ s) follows logically from the premises

(c ∨ d), (c ∨ d) -> ¬h, ¬h -> (a ∧ ¬b), and (a ∧ ¬b) -> (r ∨ s)

The below diagram shows the derivation.