作者LiuSky (天空)
看板logic
標題[請益] "最多"在述詞邏輯中的符號化
時間Thu Jul 1 01:03:30 2010
寫考古題遇到的題目：
最多只有兩個男孩暗戀小華
(b:小華 Pxy:x暗戀y Bx:x是男孩)
我自己的答案是:
(x)(y){[(Bx‧Pxb)‧(By‧Pyb)‧(x=/=y)]→(z)[(Bz‧Pzb)→((z=x)v(z=y))]}
這個答案是我照書上其他題目的答案依樣畫葫蘆寫出來的
(書:邏輯與哲學 莊文瑞編譯 11-2)
它的題目是:
最多只有兩名演員選過州長
(Fx:x是演員 Rx:x選過州長)
它附的答案是:
(x)(y){[(Fx‧Rx)‧(Fy‧Ry)‧(x=/=y)]→(z)[(Fz‧Rz)→((z=x)v(z=y))]}
我想問的是上面題目的答案中的(Fx‧Rx)、(Fy‧Ry)、(Fz‧Rz)
為什麼不是(Fx→Rx)、(Fy→Ry)、(Fz→Rz)？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 124.8.227.250
→ walkwall:因為前面若改成(Fx→Rx)、(Fy→Ry)則not x,not y時也為真 07/01 05:30
→ walkwall:這樣整句都為真了 顯然不對 07/01 05:31
推 walkwall:另一個簡單的說法：如果改成(Fx→Rx)則原句不對稱，但是 07/01 05:40
→ walkwall:"最多只有兩名演員選過州長"與"最多只有兩名州長當過演員 07/01 05:40
→ walkwall:"等價 故書上的答案正確 Fx與Rx應該可以對調才是對的 07/01 05:41
→ LiuSky:感謝解說^^ 07/01 11:38