Note that the Switcheroo law applies to any pair of statements, and says that ~A B A B, no matter what A and B are. In the last step, we had A = (~q) and B = (~p).
|
|
Note that the Switcheroo law applies to any pair of statements, and says that ~ABAB, no matter what A and B are. In the last step, we had A = (~q) and B = (~p).
|