4値論理FDEでは前提と結論で共通の命題変項が存在する
FDE(4値論理)
では，共通の命題変項が存在しない
$ A, B
について
$ A \not\vDash_{FDE} B
$ A \vDash_{FDE} B
なら，前提
$ A
と結論
$ B
で何らかの命題変項を共有している
関連性論理
の一種である
関連
3値論理K3では任意の論理式から帰結する結論は存在しない
3値論理LPでは任意の論理式を帰結させる前提は存在しない
証明
上記2個の主張を合わせればOK