普通逻辑学课后习题答案学生用(12)

②(?x)(Lx?Hx) /∴(?x)(Hx??Tx) ③Lx?Hx ②存在例示E．I． ④Lx→?Tx ①全称例示U．I． ⑤Lx ③联言分解式 ⑥Hx ③联言分解式 ⑦?Tx ④、⑤肯定前件式 ⑧Hx??Tx ⑥、⑦联言组合式 ⑨(?x)(Hx??Tx) ⑧存在概括E．G． 3． ①(?x) (Nx→?Ox)

②(?x) (Nx??Yx) /∴(?x)( ?Ox??Yx) ③Nx??Yx ②存在例示E．I． ④Nx→?Ox ①全称例示U．I． ⑤Nx ③联言分解式 ⑥?Yx ③联言分解式 ⑦?Ox ④、⑤肯定前件式

⑧?Ox??Yx ⑥、⑦联言组合式

⑨(?x)( ?Ox??Yx) ⑧存在概括E．G．

4． ①(?x) (Lx→Hx) ②(?x) (Hx→Sx)

③(?x) (Sx→Px) /∴(?x) (Lx→Px)

31

④Lx→Hx ①全称例示U．I． ⑤Hx→Sx ②全称例示U．I． ⑥Sx→Px ③全称例示U．I． ⑦Lx→Sx ④、⑤假言三段论 ⑧Lx→Px ⑥、⑦假言三段论 ⑨(?x) (Lx→Px) ⑧全称概括U．G． 5． ①(?x) (Px→Mx) ②(?x) (Px?Hx)

③(?x)〔(Px?Hx) →Sx〕 /∴(?x) (Px?Sx?Mx) ④Px?Hx ②存在例示E．I． ⑤Px→Mx ①全称例示U．I． ⑥(Px?Hx) →Sx ③全称例示U．I． ⑦Px ④联言分解式 ⑧Hx ④联言分解式 ⑨Mx ⑤、⑦肯定前件式 ⑩Px?Hx ⑦、⑧联言组合式 11Sx ⑩、⑥肯定前件式 ○

2 Px?Sx?Mx ⑦、○11、⑨联言组合式 1○3(?x) (Px?Sx?Mx) ○12存在概括E．G． 1○

6． ①(?x)〔(Hx?Wx) →Sx〕 ②Yl

③Hl?Wl /∴(?x) (Yx?Sx) ④(Hl?Wl) →Sl ①全称例示 ⑤Sl ③、④肯定前件式 ⑥Yl ? Sl ②、⑤联言组合式 ⑦(?x) (Yx?Sx) ⑥存在概括E．G． 三、试对下列关系推理进行有效性的形式推演。

1．以l表示“老子”；c表示“孔子”；m表示“墨子”；本题的符号式及其推演如下：

① Rlc ② Rcm

③ (?x)( ?y)( ?z)〔(Rxy?Ryz)→Rxz〕 / ∴Rlm ④ Rlc?Rcm ①、②联言组合式 ⑤ (Rlc?Rcm)→Rlm ③全称例示 ⑥ Rlm ④、⑤肯定前件式

2．甲、乙、丙分别以a、b、c代之；“是??父亲”关系为反传递关系：(?x)( ?y)( ?z)

32

〔(Rxy?R yz) →?Rxz〕。本题的符号式及其推演如下：

①Rab ②Rbc

③(?x)( ?y)( ?z)〔(Rxy?R yz) →?Rxz〕 ∴?Rac ④(Rab?Rbc)→?Rac ③全称例示 ⑤Rab?Rbc ①、②联言组合 ⑥?Rac ④、⑤肯定前件式

3．表示各词项的符号：f——冯公，s——研究；c——中国文化；k——儒家思想；v——有价值的思想。本题的符号式及其推演如下：

①Sfc

②(?x )(Sxc→Sxk)

③(?x)(Sfx→Vx) /∴Vk ④Sfc→Sfk ②全称例示 ⑤Sfk→Vk ③全称例示 ⑥Sfk ①、④肯定前件式 ⑦Vk ⑤、⑥肯定前件式

33

第八章 模态命题及其推理

一、指出下列命题各属何种模态命题。 1．否定必然命题。 2．否定可能命题。 3．肯定可能命题。 4．否定可能命题。 5． 肯定必然命题。 6．否定必然命题。

二、下面有四组模态命题，已知每一组的第一个命题为真，请指出其他三个命题的真假。 1．如果“竺红必然不能取得100米决赛的冠军”这个否定必然命题①为真，那么，同素材的必然肯定命题②是假的；同素材的肯定可能命题③为假；同素材的否定可能命题④为真。

2．如果“青年油画家作品展览可能在武汉举行”这个肯定可能命题①为真，那么，同素材的肯定必然命题②真假不定；同素材的否定必然命题③为假，同素材的否定可能命题④真假不定。

3．如果“市第一百货商店今天可能没有彩电出售”这个否定可能命题①为真，那么，同素材的肯定必然命题②为假，同素材的否定必然命题③真假不定，同素材的肯定可能命题④真假不定。

4．如果“这个动物园可能有熊猫”①这个肯定可能模态命题为真，那么，同素材的肯定必然模态命题②真假不定，同素材的否定必然模态命题③为假，同素材的否定可能模态命题④真假不定。

三、请列出下列模态推理的形式，并说明它是否正确?为什么?

1．这个模态推理的形式是：“可能p，所以，并非必然p”。这个推理形式是错误的。因为“可能p”与“必然p”是差等关系，“可能p”真，“必然p”可真可假。因此，不能得出“并非必然p”的结论。

2．这个模态推理的形式是：“并非必然p，所以，必然非p”。这个推理形式是错误的。因为“必然p”与“必然非p”是反对关系。“必然p”假(即“并非必然p”)，推不出“必然非p”。

3．这个模态推理的形式是：“并非可能p，所以必然非p”。这个推理是正确的。因为“可能p”与“必然非p”是矛盾关系。“可能p”假(即“并非可能p”)，可以推出“必然非p”真。

4．这个模态推理的形式是：“并非必然p，所以，可能p”。这个推理是错误的。“必然p”与“可能p”是差等关系。“必然p”假 (即“并非必然p”)，“可能p”可真可假。

5．这个模态推理的形式是：“可能非p，所以“并非可能p”。这个推理是错误的，因为“可能非p”与“可能p”是下反对关系，“可能非p”真，“可能p”可真可假。

34

6．这个模态推理的形式是：“必然非p，所以，并非必然p”。这个推理是正确的。“必然非p”与“必然p”是反对关系，“必然非p”真，“必然p”肯定假，即可推出“并非必然p”的结论。

7．这个模态推理的形式是：“可能不p，所以并非必然不p”。这个推理是错误的，因为根据差等关系，可能不p真，必然不p可真可假，不能由“可能不p”真必然推出“必然不p”假。

四、下列命题属何种规范命题? 1．禁止肯定命题。 2．禁止肯定命题。 3．允许肯定命题。 4．必须肯定命题。 5．允许肯定命题。 6．允许肯定命题。

五、下面有三组规范命题，已知每一组的第一个命题是正确的，请根据对当关系，指出其他三个命题正确与否。

1．如果“R学校允许养鸭”这个允许肯定命题①为真，那么，同素材的必须肯定命题②真假不定，同素材的必须否定命题③为假，同素材的允许否定命题④真假不定。

2．如果“进出C厂厂门必须佩带厂徽”这个必须肯 …… 此处隐藏：1188字，全部文档内容请下载后查看。喜欢就下载吧 ……