A simple interactive truth table for the exclusive or: either or and not both, or ‘X-Or’. The symbol, as can be shown easily, is truth-functionally equivalent to the negation of the triple bar. Click ‘start’, then click on the atomic components ‘P’ and ‘Q’ on the left to drag their truth-values to the ‘P’ and ‘Q’ in the proposition. You’ll then be presented with a T/F option to choose the truth value of the proposition. Click on ‘Check’ to check your work.

A simple interactive truth table for the Peirce stroke, or ‘Not-Or’. Click ‘start’, then click on the atomic components ‘P’ and ‘Q’ on the left to drag their truth-values to the ‘P’ and ‘Q’ in the proposition. You’ll then be presented with a T/F option to choose the truth value of the proposition. Click on ‘Check’ to check your work.

A simple interactive truth table for the Sheffer stroke, or ‘Not-And’. Click ‘start’, then click on the atomic components ‘P’ and ‘Q’ on the left to drag their truth-values to the ‘P’ and ‘Q’ in the proposition. You’ll then be presented with a T/F option to choose the truth value of the proposition. Click on ‘Check’ to check your work.

A simple interactive truth table for proving the validity of the Dilemma.

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

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

A simple interactive truth table for conjunction. Click ‘start’, then click on the atomic components ‘P’ and ‘Q’ on the left to drag their truth-values to the ‘P’ and ‘Q’ in the proposition ‘P iff Q.’ You’ll then be presented with a T/F option to choose the truth value of ‘P iff Q.’ Click on ‘Check’ to check your work.

Share/Bookmark

A simple interactive truth table for conjunction. Click ‘start’, then click on the atomic components ‘P’ and ‘Q’ on the left to drag their truth-values to the ‘P’ and ‘Q’ in the proposition ‘if P then Q.’ You’ll then be presented with a T/F option to choose the truth value of ‘if P then Q.’ Click on ‘Check’ to check your work.

Share/Bookmark

A simple interactive truth table for conjunction. Click ‘start’, then click on the atomic components ‘P’ and ‘Q’ on the left to drag their truth-values to the ‘P’ and ‘Q’ in the proposition ‘P v Q.’ You’ll then be presented with a T/F option to choose the truth value of ‘P v Q.’ Click on ‘Check’ to check your work.

Share/Bookmark