非含意

古典論理においては、否定 ¬ と論理積 ∧ で表せる。

${\displaystyle (P\nrightarrow Q)\Leftrightarrow \lnot (P\rightarrow Q)\Leftrightarrow (P\land \lnot Q)}$

${\displaystyle P\nrightarrow Q}$ の真理値表は以下。

命題 P	命題 Q	P ${\displaystyle \nrightarrow }$ Q
真	真	偽
真	偽	真
偽	真	偽
偽	偽	偽

• 論理包含
• 逆非含意
• 真理値
• 真理値表
• ベン図

この項目は、自然科学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:自然科学）。

• 表示
• 編集

表 話 編 歴 論理演算
恒真式 ( ${\displaystyle \top }$ )
NAND ( ${\displaystyle \uparrow }$ ) 逆含意 ( ${\displaystyle \leftarrow }$ ) IMP ( ${\displaystyle \rightarrow }$ ) OR ( ${\displaystyle \lor }$ )
否定 ( ${\displaystyle \neg }$ ) XOR ( ${\displaystyle \oplus }$ ) 同値 ( ${\displaystyle \leftrightarrow }$ ) 命題
NOR ( ${\displaystyle \downarrow }$ ) 非含意 ( ${\displaystyle \nrightarrow }$ ) 逆非含意 ( ${\displaystyle \nleftarrow }$ ) AND ( ${\displaystyle \land }$ )
矛盾 ( ${\displaystyle \bot }$ )