令谓词P(x)="x是自由变元"
P(x)=T 因为x确实是自由变元
由谓词逻辑推理规则
P(x)=>(∃x)P(x)前真则后真
而(∃x)P(x)=F因为x是约束变元
推出矛盾
（二楼的能一句话把问题说出来么）
P(x)=T 因为x确实是自由变元
由谓词逻辑推理规则
P(x)=>(∃x)P(x)前真则后真
而(∃x)P(x)=F因为x是约束变元
推出矛盾
（二楼的能一句话把问题说出来么）
逻辑学吧 关注：38,389贴子：145,177
- 4回复贴，共1页
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频！
看高清直播、视频！
贴吧热议榜
- 1生物妈跑路,便宜爹抚养非亲生子1551120
- 2暴力执法!美ICE当街射杀公民1321211
- 3精英男带奶喂娃竟遭妻辱骂1084160
- 4崇洋润人沦落西班牙街头乞讨953370
- 5婆婆扔爱犬,孕妻心寒休夫打胎796406
- 6招室友还是选妃?男生择偶新招数625975
- 7分居妻坑夫,男子蒙冤坐牢4年502344
- 825年生育率出炉:老中惨成倒二436379
- 9出口被卡,日本忙搞稀土自救336952
- 10资深码农遭优化,中年失业陷绝境322980
