... >> Mathematics >> Discrete Mathematics >> Logical Equivalence
Highest Rated Sign
Nobody has posted a sign yet.
Definition: Two predicate logic statements are logically equivalent if the have the same truth value no matter what is substituted into the predicates.
Example: not not P(x) is logically equivalent to P(x). x < y is logically equivalent to not (y <= x).