形式邏輯模擬考試試卷附答案-資料下載頁(yè)
2025-06-23 22:13本頁(yè)面
【正文】 3） 乙不及格，但是甲及格了；（4） 丙及格并且有人不及格。結(jié)果顯示：上述預(yù)測(cè)只有一項(xiàng)是真的，請(qǐng)問(wèn)甲是否及格了？寫(xiě)出推導(dǎo)過(guò)程。解：已知條件中（1）和（3）是矛盾關(guān)系，根據(jù)排中律，必有一真。因此，（2）和（4）都假。由（2）假可知：丙及格。（結(jié)論1）由（4）假可知：或者丙不及格或者所有人都及格。（結(jié)論2）由結(jié)論（1）和結(jié)論（2）可知：所有人都及格。（結(jié)論3）（p∨q）∧﹁p→q。因?yàn)樗腥硕技案瘢约准案?。已知：?）如果小李和小張都參加邏輯班學(xué)習(xí)，那么小王就不參加邏輯班學(xué)習(xí)。（2）只有小張參加邏輯班學(xué)習(xí)，小趙才參加邏輯班學(xué)習(xí)。（3）小李和小王都參加邏輯班學(xué)習(xí)。請(qǐng)問(wèn)：小張和小趙是否參加邏輯班學(xué)習(xí)？請(qǐng)寫(xiě)出推導(dǎo)過(guò)程。解：設(shè)：“小李參加邏輯班學(xué)習(xí)”為p；“小張參加邏輯班學(xué)習(xí)”為q；“小王參加邏輯班學(xué)習(xí)”為r；“小趙參加邏輯班學(xué)習(xí)”為s。（1） p∧q→﹁r（2） q←s（3） p∧rp∧r→p。 p∧r→r（聯(lián)言判斷推理分解式。）[（p∧q→﹁r）∧（p∧r）] →﹁q（反三段論）[﹁q∧（q←s）] →﹁s（必要條件假言推理否定前件否定后件）綜上可見(jiàn)：小張和小趙都不參加邏輯班學(xué)習(xí)。
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1