Two proposition forms are called logical equivalent if, and only
if, they have identical truth values for each possible substitutions of
propositions for their proposition variables (or sentential variables.) We symbolize
the logical equivalence of statement p and q by p ≡ q.