作者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
1F：→ walkwall:因为前面若改成(Fx→Rx)、(Fy→Ry)则not x,not y时也为真 07/01 05:30
2F：→ walkwall:这样整句都为真了 显然不对 07/01 05:31
3F：推 walkwall:另一个简单的说法：如果改成(Fx→Rx)则原句不对称，但是 07/01 05:40
4F：→ walkwall:"最多只有两名演员选过州长"与"最多只有两名州长当过演员 07/01 05:40
5F：→ walkwall:"等价 故书上的答案正确 Fx与Rx应该可以对调才是对的 07/01 05:41
6F：→ LiuSky:感谢解说^^ 07/01 11:38