In any logic system, you compare statements to prove or disprove their validity. With sentential logic, you use the following equivalence rules to make those comparisons:
Mark Zegarelli is a math tutor and author of several books, including Basic Math & Pre-Algebra For Dummies.
