Logical equivalence
In logic and mathematics, statements and are said to be logically equivalent if they are provable from each other under a set of axioms, or have the same truth value in every model. The logical equivalence of and is sometimes expressed as , , , or , depending on the notation being used.However, these symbols are also used for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the two concepts are intrinsically related.
Wikipage disambiguates
2-satisfiabilityAlgebraic logicAnalytical hierarchyAndrzej_GrzegorczykAnti-psychologismArrow (symbol)Associative propertyAsymmetric relationAxiom of choiceAxiom of limitation of sizeBarbara L. OsofskyBelief revisionBernoulli numberBoolean algebra (structure)Boolean data typeBoolean functionBoolean satisfiability problemBounded inverse theoremClosed graph theorem (functional analysis)Combinational logicCommutative propertyCompleteness of the real numbersConcurrent MetateMConjunctive normal formConsistencyConstructive analysisContrapositionContraposition (traditional logic)Convergence (logic)Core (game theory)David HumeDavis–Putnam algorithmDefinite descriptionDependence relationDisjunctive normal formDistributive propertyDouble negationDoubling the cubeDoxastic logicEquals sign
Link from a Wikipage to another Wikipage
primaryTopic
Logical equivalence
In logic and mathematics, statements and are said to be logically equivalent if they are provable from each other under a set of axioms, or have the same truth value in every model. The logical equivalence of and is sometimes expressed as , , , or , depending on the notation being used.However, these symbols are also used for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the two concepts are intrinsically related.
has abstract
Eine logische Äquivalenz liegt ...... t jedoch um das Bikonditional.
@de
En logique classique, deux pro ...... symbolisé par le signe « ⊙ ».
@fr
En lógica, las declaraciones p ...... én estrechamente relacionados.
@es
In de logica zijn twee uitspra ...... s vervulbaarheidsequivalentie.
@nl
In logic and mathematics, stat ...... pts are intrinsically related.
@en
Na lógica, afirmações e são lo ...... ejam intimamente relacionados.
@pt
Název ekvivalence je v logice ...... divostní tabulka této operace.
@cs
التكافؤ المنطقي في علم المنطق ...... الشرطية "تكافؤ إذا وفقط إذا".
@ar
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 ...... 表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,025,168,997
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Eine logische Äquivalenz liegt ...... t jedoch um das Bikonditional.
@de
En logique classique, deux pro ...... que qui lie deux propositions.
@fr
En lógica, las declaraciones p ...... én estrechamente relacionados.
@es
In de logica zijn twee uitspra ...... s vervulbaarheidsequivalentie.
@nl
In logic and mathematics, stat ...... pts are intrinsically related.
@en
Na lógica, afirmações e são lo ...... ejam intimamente relacionados.
@pt
Název ekvivalence je v logice ...... divostní tabulka této operace.
@cs
التكافؤ المنطقي في علم المنطق ...... الشرطية "تكافؤ إذا وفقط إذا".
@ar
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 ...... 表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。
@zh
label
Ekvivalence (logika)
@cs
Equivalencia lógica
@es
Equivalência lógica
@pt
Logical equivalence
@en
Logische equivalentie
@nl
Logische Äquivalenz
@de
Équivalence logique
@fr
تكافؤ منطقي
@ar
逻辑等价
@zh
동치
@ko