Consistency of Premises Examples

In this class, We discuss Consistency of Premises Examples.

The reader should have prior knowledge of Showing Valid Inference Examples 1. Click here.

Example:

Show that the premises a -> (b -> c), d -> (b ∧ ¬c), (a ∧ b) are inconsistent.

We need to derive “true” from the given premise that they are consistent.

If we show false from the given premise, then they are inconsistent.

Solution:

The diagram below shows the derivation.