題目如下,尋邏輯學高手幫忙解決下面的題目,證明是valid

2021-05-11 05:17:16 字數 993 閱讀 7250

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 互為逆命題...