Logical Equivalence

Pronunciation: /ˈlɑdʒ ɪ kəɫ ɪˈkwɪ və ləns/ Explain

Two statments are logically equivalent if, for all cases, if one is true then the other is true, and if one is false then the other is false. Logical equivalence is used in proofs.

Examples:

In each of these examples, P and Q represent logical statements.

  • P and TRUE ≡ P
  • P and FALSE ≡ False
  • P or P ≡ P
  • NOT NOT P ≡ P

Cite this article as:

McAdams, David E. Logical Equivalence. 8/31/2018. All Math Words Encyclopedia. Life is a Story Problem LLC. http://www.allmathwords.org/en/l/logicalequivalence.html.

Revision History

8/31/2018: Removed broken links, updated license, implemented new markup. (McAdams, David E.)
8/30/2018: Initial version. (McAdams, David E.)

All Math Words Encyclopedia is a service of Life is a Story Problem LLC.
Copyright © 2018 Life is a Story Problem LLC. All rights reserved.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License