1樓：匿名使用者
please check it
ex: x is enjoyable
ix: x is immoral
fx: x is fattening
1 (x)ex → (ix ∨ fx)
[ ∴ （~（зx）ix） → ((x)(~fx → ~ex))]2 asm ~ [（~（зx）ix） → ((x)(~fx → ~ex))]
3 ~(зx)ix （from 2）
4 ~ ((x)(~fx → ~ex)) （from 2）5 ~ix (from 3)
6 （зx）~((~fx → ~ex)) (from 4)7 ~(~fa → ~ ea) ( du from 6)8 ~fa (from 7)
9 ea （from 7）
10 ea → ia ∨ fa (from 1)11 ia ∨ fa （ from 7 and 10）12 ia (from 8 and 11)13~ia (from 5)
14∴ （~（зx）ix） → ((x)(~fx → ~ex))] (from 2; contradicts 12 and 13)
2樓：神氣的狗皮膏藥
combining "anything enjoyable is either immoral or fattening" and
"nothing is immoral", we get
"anything enjoyable is fattening".
so "everything that isn't fattening isn't enjoyable" is a reasonable consequence.
this deduction is from logical rule: p implies q <--> not q implies not p.
3樓：匿名使用者
雖然條件很二，但是這個推理沒有問題
邏輯學題目
1 和 構成下反對關係，二者不能同假，必有一真 2 和 中一真兩假，而 和 中必有一真，則 必假 3 假，即 有些s不是p 為假，根據對當關係，則 所有s都是p 為真 4 所有s都是p 為真，根據對當關係，則 有些s是p 為真 5 有些s是p 為真，根據換位法，則 有些p是s 為真 6 有些p是s ...
綜合佈線實訓，題目如下。就幫忙解決
給你個思路吧，臨時抱佛 腳也比不抱強 工程思路 每間宿舍考慮一個網路一個 宿舍樓的管理間放在一層，教學樓也是同樣道理設計，一棟樓一個管理間，教學樓內所有資訊點安裝高度為1.4米，同開關等高。樓與樓之間主幹要用光纖，戶外管網使用pe50管。系統使用六類綜合佈線。光纖要考慮熔接。離開學校多年，按照學校的...
邏輯學題目 1寫出以下推理推理形式2判斷正誤3說明理由
這個推理的形式為 sop sip，是錯誤的推理形式，這是因為sop和sip構成下反對關係，二者可以同真，不能同假，即當sop真的時候，sip可真可假，所以，從sop真不能推出sip真。sap全稱肯定 全肯 sep全稱否定 全否 sip特稱肯定 特肯 sop特稱否定 特否 可以這樣擺順序 全肯全否 特...