Sentential Logic Operators, Input–Output Tables, and Implication Rules
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: