UGC-NET | UGC-NET CS 2017年1月-3日|问题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是不一致的。 答复: （B） 说明： 这个问题的小测验