Logical biconditional
In logic and mathematics, the logical biconditional, sometimes known as the material biconditional, is the logical connective used to conjoin two statements P and Q to form the statement "P if and only if Q", where P is known as the antecedent, and Q the consequent. This is often abbreviated as "P iff Q". Other ways of denoting this operator may be seen occasionally, as a double-headed arrow (↔ or ⇔ may be represented in Unicode in various ways), a prefixed E "Epq" (in Łukasiewicz notation or Bocheński notation), an equality sign (=), an equivalence sign (≡), or EQV. It is logically equivalent to both and , and the XNOR (exclusive nor) boolean operator, which means "both or neither".
Associative propertyBiconditionalBiconditional eliminationBiconditional introductionBiconditionalityBiconditionalsBitwise operationCommutative propertyConditional statementContrapositionDenying the antecedentEQVExclusive orFirst-order logicFunctional completenessHistory of mathematical notationIdentity elementIf and only ifIndex of logic articlesIndex of philosophy articles (A–C)Index of philosophy articles (I–Q)Józef Maria BocheńskiLaws of FormLinearityList of Boolean algebra topicsList of Hilbert systemsList of rules of inferenceLogicLogic alphabetLogic gateLogical XNORLogical connectiveLogical equalityLogical equivalenceLojban grammarMany-valued logicMaterial biconditionalMereotopologyMonoidMxparser
Link from a Wikipage to another Wikipage
primaryTopic
Logical biconditional
In logic and mathematics, the logical biconditional, sometimes known as the material biconditional, is the logical connective used to conjoin two statements P and Q to form the statement "P if and only if Q", where P is known as the antecedent, and Q the consequent. This is often abbreviated as "P iff Q". Other ways of denoting this operator may be seen occasionally, as a double-headed arrow (↔ or ⇔ may be represented in Unicode in various ways), a prefixed E "Epq" (in Łukasiewicz notation or Bocheński notation), an equality sign (=), an equivalence sign (≡), or EQV. It is logically equivalent to both and , and the XNOR (exclusive nor) boolean operator, which means "both or neither".
has abstract
In logic and mathematics, the ...... f the thesis at the same time.
@en
Na Lógica e Matemática, a Lógi ...... as demonstrando separadamente.
@pt
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,005,851,597
Link from a Wikipage to another Wikipage
title
Biconditional
@en
wikiPageUsesTemplate
hypernym
type
comment
In logic and mathematics, the ...... which means "both or neither".
@en
Na Lógica e Matemática, a Lógi ...... a conclusão é verdadeira. Nes
@pt
label
Bikonditional
@de
Conectivo lógico bicondicional
@pt
Logical biconditional
@en