statements and are said to be logically equivalent if they have the same truth value in every model.
proving equivalence can be done:
- using a truth table and verifying that all rows are similar
- using already proven equivalences
- using an inference process
proving