heshibohe
幼苗
共回答了16个问题采纳率:87.5% 举报
可以总结出结论:量词A和→对应,量词E和∧对应
“所有的会计师都拥有一辆Porsches汽车”可以改写为:对于任意的x,如果x是会计师,则x拥有一辆Porsches汽车.所以符号化为:Ax(P(x)→Q(x))
“某一个会计师拥有一辆Porsches汽车”可以改写为:存在x,x是会计师且x拥有一辆Porsches汽车.所以符号化为:Ex(P(x)∧Q(x))
它的否定本身就可以符号化为:N(Ex(P(x)∧Q(x))),“不存在x,x是会计师且x拥有一辆Porsches汽车”又可以改写为:对于任意的x,如果x是会计师,则x不会拥有一辆Porsches汽车,所以,又可以符号化为:Ax(P(x)→E(Q(x))))
由AxN(P(x)∧Q(x))变到Ax(NP(x)∨NQ(x)),不就是命题逻辑中的一个等值式嘛(德.摩根律)
-------
上面这个题目考虑的这种命题的符号化有两种形式表示,事实上就是后面要介绍的“量词等值式”
1年前
7