Viewing topic: Logical Equivalence

See sub-topics for Logical Equivalence ... >> Mathematics >> Discrete Mathematics >> Logical Equivalence

Highest Rated Sign

No video has been submitted for this term

Nobody has posted a sign yet.

Logical Equivalence

  • 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).

  • There are no comments for this topic.