查看完整版本 : Logic 20170913_1

hollwo 2017-9-13 01:40 PM

Logic 20170913_1

Ax:x是學生;Bx:x是勤力
~∀x (Ax→Bx)
∃x (Ax & ~Bx)
結論 :   ?

hollwo 2017-9-13 02:00 PM

Mx:x 是A;Nxy:x 知道B
∃x [Mx‧∀y(My→Nxy)]

johnwhite 2017-9-13 03:18 PM

[quote]原帖由 [i]hollwo[/i] 於 2017-9-13 01:40 PM 發表 [url=http://www.discuss.com.hk/redirect.php?goto=findpost&pid=467756400&ptid=26923419][img]http://www.discuss.com.hk/images/common/back.gif[/img][/url]
Ax:x是學生;Bx:x是勤力
~∀x (Ax→Bx)
∃x (Ax & ~Bx)
結論 :   ? [/quote]

x 是~∀ , 所以 ~∀x (Ax→Bx)  非所有學生是勤力

x 是∃ , 所以∃x (Ax & ~Bx)   有學生不勤力是存在的
頁: [1]
查看完整版本: Logic 20170913_1