## Truth Table for Denying the Antecedent

August 12, 2011 No CommentsA simple interactive truth table for proving the validity of Denying The Antecedent:

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).