可以總結(jié)出結(jié)論：量詞A和→對應(yīng),量詞E和∧對應(yīng)
“所有的會計師都擁有一輛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)),不就是命題邏輯中的一個等值式嘛（德.摩根律）
－－－－－－－
上面這個題目考慮的這種命題的符號化有兩種形式表示,事實上就是后面要介紹的“量詞等值式”