## Truth Tables for Disjunctive Syllogism

September 5, 2011 No CommentsA simple interactive truth table for proving the validity of the two different forms of Disjunctive Syllogism:

Click ‘start’ to begin. Then click on the ‘P’ and ‘Q’ on the left to drag the truth-values to the atomic components of the sentences. You’ll see a T/F appear under each connective. Set the correct values and click on ‘Check’ to verify. When the table is completed, it will prompt you to highlight any rows with a false conclusion, and then circle the truth-values of the premises to verify if they are both true. If there are no rows with true premises and a false conclusion, it’s valid (by definition).