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:


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


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