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樓:匿名使用者
雖然條件很二,但是這個推理沒有問題
邏輯學題目求高人急急急急急,法律邏輯學推理題目,跪求高人回答!
c a a ad ce be ce ae 我承認我是蒙的 已經完全繞暈了,我決定我的廚師必須戴高帽子,其他人不許戴高帽子!明天交作業了吧,急了吧 兄弟 我也在做呢 不過我們不用交 哈哈!我是付敏,你什麼學號!這種行為簡直愚蠢!法律邏輯學推理題目,跪求高人回答!本題關鍵是已知3 零點時該商店的燈已滅,...
邏輯學試題,急A卷,2道邏輯學題目,急啊需要過程已知在ABCDE五人
1a2a 3b4a 5d6c 7d8a 9c10b 11a12d 13c14d 15d16a 17正確 18錯誤 19錯誤 20錯誤 2道邏輯學題目,急啊 需要過程 已知在a b c d e五人 30 做這種題 基本用假設法 題一假設說假話的是a a 我和b說真 話。b 我不說假話。d 如果a不說真...
邏輯學題,急急急,邏輯學題目求高人急急急急急
1.不對,瞭解情況,可以避免主觀性,但是此人主觀,並不代表他不瞭解情況!比如,一人買彩票,知道不會中獎,所以沒買,但是如果他買了,並不代表他不會中獎。2.乙說錯了,那麼甲說 我是a型 乙說 我不是o型 丙說 我是ab型 丁說 我不是ab型 所以甲是a型,丙是ab型,乙是b型,丁是o型。1 互為逆命題...