2、下列说法中，正确的是

A.哥德尔不完全性定理把命题“正确”与“可证明”区别开来了

B.“可证明”的命题一定“正确”

C.“正确”的命题不一定“可证明”

D.“正确”的命题一定“可证明”

E.“不可证明”的命题一定“不正确”

F.命题“正确”与命题“可证明”是一回事

A.命题A与非A都能导出叫系统“不相容”

B.命题A与非A都不能导出叫系统“不完全”

C.每一个公理不可由其它公理推出叫系统的“独立性”

D.命题A与非A都能导出叫系统“不完全”

E.命题A与非A都不能导出叫系统“不相容”

F.含有“不可判定命题”的系统叫“不独立”

A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真；

B.哥德尔不完全定理说存在着既不能证明其为真，也不能证明其为假的命题；

C.借助哥德尔的编码程序，关于自然数每个可能的命题本身又可表达为一个数；

D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题。

A.Y.是

B.N.否

A.Y.是

B.N.否

A.三段论是由两个命题推出一个新命题的思维形式

B.直言命题就是不含其它命题而只反映事物具有某种性质的命题

C.复合命题就是包含两个或两个以上简单命题的命题

D.划分是将一个属概念按一定标准分成若干种概念的逻辑方法

A.如果2是偶数，那么一个命题公式的析取范式惟一

B.如果2是偶数，那么一个命题公式的析取范式不惟一

C.如果2是奇数，那么一个命题公式的析取范式惟一

D.如果2是奇数，那么一个命题公式的析取范式不惟一

A.在民事诉讼中，对于待证事实的证明标准要达到排除合理怀疑的程度

B.判断当事人是否完成证明责任的依据是证明标准

C.待证事实真伪不明时，对当事人产生行为意义上的证明责任

D.对案件中的同一事实，可能双方当事人均负有证明责任

A.(X and Y not Z)

B.X

C.(X)

D.((X and Y) or (not Z)) and (not M)