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:
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: