司法考試習(xí)題ppt課件(編輯修改稿)
2024-11-30 18:40 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 x)∧ O(x)) 2021年 12月 1日星期三 謂詞邏輯的推理理論 前提： (?x)(N(x) ?O(x)?E(x)) , (?x)(N(x)?(E(x) ? T(x))) , ? (?x)(N(x) ?T(x)) 結(jié)論： (?x)(N(x)∧ O(x)) 證明： (1) ? (?x)(N(x) ?T(x) ) P (2) ? (?x)(? N(x)∨ T(x)) T (1) E11 (3) (?x)(N(x) ∧ ? T(x)) T (2) Q, E1, E5 (4) N(y) ∧ ? T(y) EI (3) (5) N(y) T (4) I1 (6) (?x)(N(x)?(E(x) ? T(x))) P (7) N(y)?(E(y) ? T(y)) UI (6) (8) E(y) ? T(y) T (5)(7) I8 (9) E(y) ? T(y) T (8) I18 2021年 12月 1日星期三 習(xí)題 22(1) (10) ? T(y) T (4) I1 (11) ? E(y) T (9)(10) I9 (12) (?x)(N(x) ?O(x)?E(x)) P (13) N(y) ?O(y)?E(y) UI (12) (14) O(y)?E(y) T (5)(13) I8 (15) ? ( O(y) ? E(y) ) T (14) (16) O(y) ? ? E(y) T (15) E12 (17) O(y) T (11)(16) I8 (18) N(y) ∧ O(y) T (5)(17) (19) (?x)(N(x)∧ O(x)) EG (18) (4) N(y) ∧ ? T(y) EI (3) (5) N(y) T (4) E1 (9) E(y) ? T(y) T (8) E18 2021年 12月 1日星期三 謂詞邏輯的推理理論 22. 符號(hào)化下列各命題，并給出構(gòu)造推理證明。 如果一個(gè)人怕困難，那么他就不會(huì)獲得成功 每個(gè)人或者獲得成功，或者失敗過(guò) 有些人未曾失敗過(guò) 所以：有些人不怕困難 設(shè)： P(x)： x是人， D(x)： x怕困難， S(x)： x成功， F(x)： x失敗 (?x)(P(x) ∧ D(x) ? ? S(x)) (?x)(P(x) ? (S(x) ∨ F(x))) (?x)(P(x) ∧ ? F(x)) (?x)(P(x)∧ ? D(x)) 2021年 12月 1日星期三 謂詞邏輯的推理理論 前提： (?x)(P(x)∧ D(x)?? S(x)), (?x)(P(x) ?(S(x)∨ F(x))), (?x)(P(x) ∧ ? F(x)) 結(jié)論： (?x)(P(x)∧ ? D(x)) 證明： (1) (?x)(P(x) ∧ ? F(x)) P (2) P(y) ∧ ? F(y) EI (1) (3) P(y) T (2) I1 (4) ? F(y) T (2) I1 (5) (?x)(P(x) ?(S(x)∨ F(x))) P (6) P(y) ?(S(y)∨ F(y)) UI (5) (7) S(y)∨ F(y) T (3)(6) I8 (8) S(y) T (4)(7) I10 2021年 12月 1日星期三 習(xí)題 22(2) (9) (?x)(P(x)∧ D(x)?? S(x)) P (10) P(y)∧ D(y)?? S(y) UI (1) (11) ? (P(y)∧ D(y)) T (8)(10) I9 (12) ? P(y) ∨ ? D(y) T (11) E5 (13) ? D(y) T (3) (12) I10 (14) P(y)∧ ? D(y) T (3) (13) (15) (?x)(P(x)∧ ? D(x)) EG (14) (3) P(y) T (2) I1 (8) S(y) T (4)(7) I10 2021年 12月 1日星期三 謂詞邏輯的推理理論 22. 符號(hào)化下列各命題，并給出構(gòu)造推理證明。 每個(gè)科學(xué)工作者都是刻苦鉆研的 每個(gè)刻苦鉆研而又聰明的科學(xué)工作者都將獲得事業(yè)的成功 華有為是一名科學(xué)工作者，并且他是聰明的 所以：華有為將獲得事業(yè)上的成功 S(x)： x是科學(xué)工作者， H(x)： x刻苦鉆研， C(x)： x是聰明的 P(x)： x在獲得事業(yè)上的成功， a： 華有為 (?x)(S(x) ? H(x)) (?x)(S(x)∧ H(x)∧ C(x) ? P(x)) S(a) ∧ C(a) P(a) 2021年 12月 1日星期三 謂詞邏輯的推理理論 前提： (?x)(S(x) ? H(x)), (?x)(S(x)∧ H(x)∧ C(x) ? P(x)), S(a) ∧ C(a) 結(jié)論： P(a) 證明： (1) (?x)(S(x) ? H(x)) P (2) S(a) ? H(a) UI (1) (3) S(a) ∧ C(a) P (4) S(a) T (3) I1 (5) H(a) T (2)(4) I8 (6) (?x)(S(x)∧ H(x)∧ C(x) ? P(x)) P (7) S(a)∧ H(a)∧ C(a) ? P(a) UI (6) (8) P(a) T (3)(5)(7) I8 2021年 12月 1日星期三 謂詞邏輯的推理理論 22. 符號(hào)化下列各命題，并給出構(gòu)造推理證明。 每個(gè)資深名士，或是政協(xié)委員，或是國(guó)務(wù)院參事 資深名士 張大為不是政協(xié)委員，但他是中科院院士 所以：有的中科院院士是國(guó)務(wù)院參事 K(x)： x是資深名士， Z(x)： x是政協(xié)委員， G(x)： x是國(guó)務(wù)院參事， S(x)： x是中科院院士， a： 張大為 (?x)(K(x) ? (Z(x) ∨ G(x))) K(a) ∧ ? Z(a) ∧ S(a) (?x)(S(x)∧ G(x)) 2021年 12月 1日星期三 習(xí)題 22(4) 證明： (1) (?x)(K(x) ? (Z(x) ∨ G(x))) P (2) K(a) ? (Z(a) ∨ G(a)) UI (1) (3) K(a)∧ ? Z(a)∧ S(a) P (4) K(a) T (3) I1 (5) Z(a) ∨ G(a) T (2)(4) I8 (6) ? Z(a) T (3) I1 (7) G(a) T (5)(6) I10 (8) S(a) T (3) I1 (9) G(a) ∧ S(a) T (7) (8) (10) (?x)(S(x)∧ G(x)) EG (9) 前提： (?x)(K(x) ? (Z(x) ∨ G(x))), K(a)∧ ? Z(a)∧ S(a) 結(jié)論： (?x)(S(x)∧ G(x)) 2021年 12月 1日星期三 每個(gè)大學(xué)生不是文科學(xué)生就是理工科學(xué)生，有的大學(xué)生是優(yōu)等生，小張不是理工科學(xué)生，但他是優(yōu)等生，因而如果小張是大學(xué)生，他就是文科學(xué)生。 謂詞邏輯的推理理論 2021年 12月 1日星期三 集合 18. 設(shè) A、 B、 C、 D是集合，求證： (A ? B) (C ? D) ? (A C) ? (B D) 證明：對(duì)于 (A ? B) (C ? D) 中的任意元素 x, y，有： x, y ? (A ? B) (C ? D) ? x ? (A ? B) ∧ y ? (C ? D) ? (x ? A ∧ x ? B) ∧ (y ? C ∧ y ? D) ? (x ? A ∧ y ? C) ∧ (x ? B ∧ y ? D) ? x, y ? (A C) ∧ x, y ? (B D) ? x, y ? (A C) ? (B D) 2021年 12月 1日星期三 集合 2
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1