教资会网络 | UGC NET CS 2017 年一月至三日 |问题 59
下面哪个描述是正确的？
(A)句子 S 是 S 1 ,…, S n的逻辑结果当且仅当 S 1 ∧ S 2 ∧…….. ∧
S n → S 是可满足的。
(B)句子 S 是 S 1 ,…, Sn 的逻辑结果当且仅当 S 1 ∧ S 2 ∧…….. ∧S n → S 有效。
(C)句子 S 是 S 1 ,…, S n的逻辑结果当且仅当 S 1 ∧ S 2 ∧…….. ∧
S n ∧ S 是一致的。
(D)句子 S 是 S 1 ,…, S n的逻辑结果当且仅当 S 1 ∧ S 2 ∧…….. ∧
S n ∧ S 不一致。答案：（乙）
解释：
这个问题的测验