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:
![image0.jpg](https://www.dummies.com/wp-content/uploads/217411.image0.jpg)
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: