Working with sentential logic means working with a language designed to express logical arguments with precision and clarity. To make use of this language of logic, you need to know what operators to use, the input-output tables for those operators, and the implication rules.

This table introduces sentential logic operators:

image0.jpg

The next tables offer input–output tables for sentential logic operators:

image1.jpg

Logic helps you reach conclusions, which you do with the help of implication rules for sentential logic:

image2.jpg