3値論理LPでは任意の論理式を帰結させる前提は存在しない - Internet Explorer 2.0

3値論理LPでは任意の論理式を帰結させる前提は存在しない

証明

3値論理K3では任意の論理式から帰結する結論は存在しないの証明を参考