1.4 Logic & Propositions

Equivalence and Truth Table

The equivalence of two propositional formulas could be proved by comparing their _____, notably the _____ column.

Exercise 1
Truth tables are a useful tool for proving equivalence. A valid formula is true in all environments, while a satisfiable formula is true only in some environment.