問答題簡答題對下述每一論證構造一個證明,給出所有必須增加的斷言,指出用于每一步的推理規則。(a)煤或大米將漲價,不是這種情況。如果鐵路中斷運輸,那么煤將漲價。因此,鐵路不會中斷運輸。(b)從語句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。(c)如果李敏來通信工程學院,若王軍不生病,則王軍一定去看李敏。如果李敏出差到南京,那么李敏一定來通信工程學院。王軍沒有生病,所以,如果李敏出差到南京,王軍一定去看李敏。

您可能感興趣的試卷

每日一練

章節練習