Material nonimplication
Material nonimplication or abjunction (Latin ab = "from", junctio =–"joining") is the negation of material implication. That is to say that for any two propositions and , the material nonimplication from to is true if and only if the negation of the material implication from to is true. This is more naturally stated as that the material nonimplication from to is true only if is true and is false. It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and .
Wikipage disambiguates
Wikipage redirect
ABJAbjunctionAssociative propertyBitwise operationIndex of philosophy articles (A–C)Index of philosophy articles (I–Q)Józef Maria BocheńskiList of rules of inferenceLogical conjunctionLogical connectiveLojban grammarNIMPLY gateOutline of logicPost's latticeTruth tableUniversal quantificationValidity (logic)
Link from a Wikipage to another Wikipage
primaryTopic
Material nonimplication
Material nonimplication or abjunction (Latin ab = "from", junctio =–"joining") is the negation of material implication. That is to say that for any two propositions and , the material nonimplication from to is true if and only if the negation of the material implication from to is true. This is more naturally stated as that the material nonimplication from to is true only if is true and is false. It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and .
has abstract
En razonamiento formal, la Adj ...... ón opuesta y puede expresarse:
@es
La non-implication matérielle, ...... qp↛q Et est équivalent à: p∧~q
@fr
Material nonimplication or abj ...... ogically equivalent to , and .
@en
Матеріа́льна неімпліка́ція (ан ...... І вона є рівнозначною до p∧~q
@uk
实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q ...... 质非蕴涵: p⊅qLpqp↛q 实质非蕴涵等同于: p∧~q
@zh
Wikipage page ID
11,880,982
page length (characters) of wiki page
Wikipage revision ID
979,586,635
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
En razonamiento formal, la Adj ...... ón opuesta y puede expresarse:
@es
La non-implication matérielle, ...... qp↛q Et est équivalent à: p∧~q
@fr
Material nonimplication or abj ...... ogically equivalent to , and .
@en
Матеріа́льна неімпліка́ція (ан ...... І вона є рівнозначною до p∧~q
@uk
实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q ...... 质非蕴涵: p⊅qLpqp↛q 实质非蕴涵等同于: p∧~q
@zh
label
Adjunción lógica
@es
Material nonimplication
@en
Non-implication
@fr
Неімплікація
@uk
实质非蕴涵
@zh