Logical equivalence
concept in logic
In logic and mathematics, two statements are logically equivalent if they can prove each other (under a set of axioms),[1] or have the same truth value under all circumstances. In propositional logic, two statements are logically equivalent precisely when their truth tables are identical.[2] To express logical equivalence between two statements, the symbols , and are often used.[3][4]
For example, the statements "A and B" and "B and A" are logically equivalent.[2] If P and Q are logically equivalent, then the statement "P if and only if Q" is a tautology.[4]
Related pages
changeReferences
change- ↑ "The Definitive Glossary of Higher Mathematical Jargon". Math Vault. 2019-08-01. Retrieved 2020-10-09.
- ↑ 2.0 2.1 "Section 1.1: Logical Forms and Equivalencies". www.csm.ornl.gov. Retrieved 2020-10-09.
- ↑ "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-10-09.
- ↑ 4.0 4.1 "2.5: Logical Equivalences". Mathematics LibreTexts. 2019-08-13. Retrieved 2020-10-09.
🔥 Top keywords: Main PageList of UEFA European Championship finalsSupreme Court of the United StatesSpecial:SearchAdolf Hitler UunonaWikipedia:Simple talkTwenty-fifth Amendment to the United States ConstitutionUnited States presidential line of successionChris MartinWikipedia:AboutHistory of AustraliaHelp:ContentsHelp:IntroductionWikipedia:Administrators' noticeboardUnited StatesQuantum mechanicsBlackTwenty-second Amendment to the United States ConstitutionKalki2024 UEFA Champions League finalList of people who have walked on the MoonSpecial:RecentChangesTreaty of Versailles24-hour clockHistory of ChristianityQueen (band)Joe BidenGermany national football teamList of U.S. statesRepublican Party (United States)Tom KaulitzList of countries by continents0Trolls Band TogetherComputer coolingJay ShahHelp:Authority controlList of U.S. states and territories by time zoneBismillahir Rahmanir Raheem