逆含意
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/01/21 09:47 UTC 版)
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 (2018年5月)
|
逆含意（ぎゃくがんい、英: converse implication）は、含意（= 論理包含）の逆、つまり任意の2つの命題 P と Q について、Q が P を含意するならば、P は Q の逆含意である。
逆含意は 
性質
- 真理保存性
- 全ての変数の真理値が真ならば、逆含意も必ず真になる性質がある。
ブール代数
ブール代数において、 p ← q は (A+B′) と等価である[要説明]。
脚注
- ^ 倉田 剛『論証の教室〔入門編〕: インフォーマル・ロジックへの誘い』新曜社、2022年3月、170頁。ISBN 978-4-7885-1759-2。 OCLC 1319064481。
関連項目
|
|
||
|---|---|---|
この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |
||
- 逆含意のページへのリンク
