命題邏輯十八講答案（命題邏輯十八）

2023-09-19 22:20:07

命題邏輯十八講答案?假言命題的負命題及其等值推理——充分條件假言命題的負命題及其等值推理，今天小編就來說說關於命題邏輯十八講答案?下面更多詳細答案一起來看看吧!

命題邏輯十八講答案

假言命題的負命題及其等值推理——充分條件假言命題的負命題及其等值推理

充分條件假言命題的負命題是以充分條件假言命題為支命題的負命題，其命題形式為：

¬ （p → q）

例如：

「如果小張患了SARS，他就會死亡」並不符合事實。

因為充分條件假言命題只有在前件真且後件假時，它才是假的，所以充分條件假言命題的負命題的等值推理的有效式為：

¬ （p → q）←→（p ᴧ ¬ q）

因為充分條件假言命題只有在前件真且後件假時，它才是假的，所以充分條件假言命題的負命題的等值推理的有效式為：

¬ （p → q）←→（p ᴧ ¬ q）

例如：

「'如果小張患了SARS，他就會死亡'並不符合事實.」，這就是說，小張患上了SARS，但他沒有死。