物質的非関与

物質的非含意またはアブジャンクション（ラテン語の ab = 「離れる」、junctio = 「結合する」）は、一般的な回路やブール代数で使用される論理演算を指す用語です。^[1]これは物質的含意の否定です。つまり、任意の 2 つの命題と について、からへの物質的非含意が真であるのは、からへの物質的含意の否定が真である場合に限ります。これは、 から への物質的非含意が真であるのは、 が真で が偽である場合に限ります、とより自然に述べられます。 ${\displaystyle P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle Q}$

これは、論理表記法では、、または「L pq」（ボチェンスキー表記法）と表記され、 、および と論理的に同等です。 ${\displaystyle P\nrightarrow Q}$${\displaystyle P\not \supset Q}$${\displaystyle \neg (P\rightarrow Q)}$${\displaystyle P\land \neg Q}$

物質的非含意は物質的含意の否定として定義できます。

古典論理では、これはとの論理和の否定、およびとの論理積の否定と同等である。${\displaystyle \neg P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle \neg Q}$

偽りを保持する: すべての変数に「偽」の真理値が割り当てられる解釈では、物質的非含意の結果として「偽」の真理値が生成されます。

物質的非含意を表す記号は、物質的含意を表す記号に線を引いたものです。Unicode 記号は219B ₁₆ (10 進数では 8603) です: ↛。

「p マイナス q」

「qなしのp」

「p だが q ではない。」

「p にもかかわらず、q は偽です。」

ビット演算: A&(~B)

論理演算: A&&(!B)

• 意味
• 差を設定する

• ウィキメディア・コモンズの「Material nonimplication」に関連するメディア