–
Get lifetime access to the entire course for only $12.95 (US)! This includes free access to our Members Only Group on Facebook so you can access the individualised help you need to smash through roadblocks in your learning!
–
Estimated Learning Time = 6 hours
–
What is the indirect method, and why should I learn it?
–
If we only have two simple sentences to deal with, our truthtable 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 truthtable will be thirtytwo 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 simplesentence truthvalue over to instances of the same simplesentence:
–
(~ 
Q 
xâˆ¨ 
P) 
P 
âŠ§ 
Q 

T 
T 
F 
–
The next step is to carry the truthvalues 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 to fill in the truthvalue for the negation sign as follows:
–
(~ 
Q 
xâˆ¨ 
P) 
P 
âŠ§ 
Q 

T 
F 
T 
T 
T 
F 
–
As P is true and ~Q is true then both disjuncts of (~Q xâˆ¨ P) will be true. And, an exclusive disjunction with two true disjuncts should be false, rather than true. Thus, we have a contradiction in our first premise. As the assumption that our two premises are true and our conclusion is false leads unavoidably into 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.
–
Take this Course–
–
Level 5.1 is available as a free sample!

Course Content
Curriculum

Lecture 1. 1

Lecture 1. 2

Lecture 1. 3

Lecture 1. 4

Lecture 2. 1

Lecture 2. 2

Lecture 2. 3

Lecture 2. 4

Lecture 3. 1

Lecture 3. 2

Lecture 3. 3

Lecture 3. 4

Lecture 4. 1

Lecture 4. 2

Lecture 4. 3

Lecture 4. 4

Lecture 5. 1

Lecture 5. 2

Lecture 5. 3

Lecture 5. 4

Lecture 6. 1

Lecture 6. 2

Lecture 6. 3

Lecture 6. 4

Lecture 6. 5