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.
Apr 25th, 2015
Are you studying on the go? Check out our FREE app and post questions on the fly!