## Description

**Get lifelong access to this course for only $12 (US). This includes free access to our LLTEW Members Group on Facebook so you can access the individualised help you need to smash through roadblocks in your learning!**

**Estimated Learning Time = 8 hours**

If we only have two simple sentences to deal with, our truth-table will only be four lines deep. However, with each additional simple sentence the number of lines doubles. This means that if we have four simple sentences our truth-table will be thirty-two lines deep! And with thirty two lines to worry about, there is a significant chance that a mere mortal such as you or I will make a mistake. This is where the indirect method comes in handy.

In this course, you will learn to use the indirect method to test the validity of sequents and to test for logical relationships within pairs of logical formulae. Here’s an example in which the indirect method is used to test the validity of a sequent.

(~ |
Q |
x∨ |
P) |
P |
⊧ |
Q |
||

The first step in applying the indirect method in determining entailment is to assign a T to each of the two premises and an F to the conclusion as follows (the application of this step amounts to our assumption that our premises are true and our conclusion false), then carry any assigned simple-sentence truth-value over to instances of the same simple-sentence:

(~ | Q | x∨ | P) | P | ⊧ | Q | ||

T |
T |
F |

The next step is to carry the truth-values of the simple sentences across to other instances of the same sentence as follows.

(~ | Q | x∨ | P) | P | ⊧ | Q | ||

F |
T | T |
T | F |

The final step is fill in the truth-value for the negation sign as follows:

(~ | Q | x∨ | P) | P | ⊧ | Q | ||

T |
F | T | T | T | F |

As P is true, the truth of ~Q will result in both disjuncts of (~Q x∨ P) being true. And, an exclusive disjunction with two true disjuncts should be false, rather than true.

As the assumption that our two premises are true and our conclusion is false leads us into unavoidable contradiction, we can conclude that it is impossible for our premises to be true at the same time that our conclusion is false, and thus that our sequent is * VALID*.

This course contains 6 lessons, each of which contains written explanations and examples, a number of videos, and most importantly, a set of electronic quizzes to help you apply and solidify your understanding:

**Lesson 1 – Contradiction & Consistency (P, Q) AVAILABLE AS SAMPLE LESSON!**

**Lesson 2 – Entailment (P, Q)**

**Lesson 3 – Validity (P, Q)**

**Lesson 4 – Contradiction & Consistency (P, Q, R)**

**Lesson 5 – Entailment (P, Q, R)**

**Lesson 6 – Validity (P, Q, R)**