第1题:
A.直接推理
B.间接推理
C.反推理
D.正推理
第2题:
在命题逻辑中,依据一个复合命题所带的联结词的不同,复合命题的类别可以分为()
A假言命题
B联言命题
C选言命题
D负命题
E直言命题
第3题:
A.特称否定命题
B.全称肯定命题
C.全称否定命题
D.特称肯定命题
第4题:
通过否定某个命题所得到的命题叫做:()
第5题:
怎样理解直言命题的构成与类型?
(1)构成:主项、谓项、联项、量项。
类型:
(1)全称肯定命题。
(2)全称否定命题。
(3)特称肯定命题。
(4)特称否定命题。
略
第6题:
答案:真值表是含n(n1) 命题变项的命题公式,共有2n组赋值将命题公式A在所有复制赋值之下取值的情况列成表,称为A的真值表。( P^Q ) ^ ( -pV-Q ) ^ 表示“与”,“且”,也可以表示点乘号V表示“或”,也可以表示“+”表示“非”,也可以表示为变量上面加一横在此逻辑表达式中基本逻辑变量为P,Q其含义为P、Q、(非P+非Q)相与。
第7题:
怎样进行直言命题的真值断定?
(1)对于形式为SAP的命题,由于它所肯定的是S的外延全部包含在P的外延之中,所以SAP为真,在而且只在S与P的外延关系是全同关系或真包含于关系时,形式为SAP的命题才是真的。
(2)对于形式为SEP的命题,它所否定的是S的外延部分包含在P的外延之中,所以SEP为真,在而且只在S与P的外延关系是全异关系时,形式为SEP的命题才是真的。
(3)对于形如SIP的命题,它所肯定的是S的外延全部包含在P的外延之中,所以SIP为真,在而且只在S与P的外延关系是相容关系时,具有形式为SIP的命题才是真的。
(4)对于形如SOP的命题,它所否定的是S的外延全部包含在P的外延之中,所以SOP为真,在而且只在S与P的外延关系是真包含关系或交叉关系或全异关系时,具有形式为SOP的命题才是真的。
略
第8题:
此题为判断题(对,错)。
第9题:
断定一个复合命题为真,是否断定了其所有肢命题为真?试以选言命题为例加以说明。
第10题:
一个直言命题的主项不周延,则这个命题的量是()。一个直言命题的谓项不周延,则它的质是()。