作业P52、53、54、65.pptVIP

P52-9 设p: a是奇数; q: a能被2整除; r: a是偶数 前提：p→┐q , r→q 结论：r→ ┐p 推理的形式结构: (p→┐q) ∧(r→q) →(r→ ┐p) 证明：(略) P53-15(1) 前提：p→(q→r)，s→p，q 结论：s→r 证明： ① s 附加前提引入 ② s→p 前提引入 ③ p ①②假言推理 ④ p→(q→r) 前提引入 ⑤ ┐p∨┐q∨r ④置换规则 ⑥ ┐q∨r ③⑤析取三段论 ⑦ q 前提引入 ⑧ r ⑥⑦析取三段论 P54-16(1)方法一 前提：p→┐q，┐r∨q，r∧┐s 结论：┐p 证明： ① p 结论的否定引入 ② r∧┐s 前提引入 ③ r ②化简 ④ ┐r∨q 前提引入 ⑤ q ③④析取三段论 ⑥ p→┐q 前提引入 ⑦ ┐p ⑤⑥拒取式 ⑧ p∧┐p ⑥⑦合取 P54-16(1)方法二 前提：p→┐q，┐r∨q，r∧┐s 结论：┐p 证明： ① p 结论的否定引入 ② p→┐q 前提引入 ③ ┐q ①②假言推理 ④ ┐r∨q 前提引入 ⑤ ┐r ③④析取三段论 ⑥ r∧┐s 前提引入 ⑦ ┐r∧r∧┐s ⑤⑥合取 P54-17 解： 设p：A曾到过受害者房间；q：A在11点以前离开； r：A犯了谋杀罪；s：看门人看见A 前提：（p∧┐q）→r，p，q→s，┐s 结论：r 证明： ① q→s 前提引入 ② ┐s 前提引入 ③ ┐q ①②拒取式 ④ p 前提引入 ⑤ p∧┐q ③④合取 ⑥（p∧┐q）→r 前提引入 ⑦ r ⑤⑥假言推理 P65-1.将下列命题使用0元谓词符号化。 （1）小王学过英语和法语。 解一：设F(x)：x学过英语和法语，a：小王 所以符号化为：F(a) 解二：设F(x)：小王学过x，a：英语，b：法语 所以符号化为：F(a)∧F(b) 解三：设F(x,y)：x学过y,a：小王,b：英语,c：法语 所以符号化为：F(a，b)∧F(a，c) 解四：设F(x)：x学过英语, G(x)：x学过法语，a：小王 所以符号化为：F(a)∧G(a) （2）除非李键是东北人，否则他一定怕冷。 解：（A）设F(x):x是东北人，G(x):x怕冷，a:李键 所以命题符号化为：F(a)→G(a) （B）同上， G(a)→F(a) （C）同上， ┐G(a)→F(a) （D）设F(x,y):x是y，G(x):x怕冷，a:李键，b：东北人 所以命题符号化为： ┐G(a)→F(a，b) （3）2大于3仅当2大于4。 解：（A）设F(x,y)：x大于y，a:2，b:3，c:4 所以命题符号化为：F(a,b) → F(a,c) （B）同上， F(a,b) ? F(a,c) （C）同上， F(a,c) → F(a,b) （D）同上，F(2,3) → F(2,4) （E）设F(x)：2大于y，a:3，b:4 所以命题符号化为： F(a) → F(b) (4)3不是偶数。 解：设F(x):x是偶数，a:3，所以符号化为┐F(a) (5)2或3是素数。 解：设F(x):x是素数，a:2，b:3，所谓符号化为F(a)∨F(b) P65-4 （1）令F（x）：x是有理数， G（x）：x能表示为分数， 则命题符号化为： ?x（F（x）→G（x）） 或 ┐?x（F（x）∧┐G（x）） （2）令F（