單項選擇題

“并非每個人都是父母”翻譯為一階公式最佳的是（）

A.?"x（Hx→"y（Hy→Fxy∨Mxy））
B.?"x（Hx→$y（Hy∧（Fxy∨Mxy）））
C.?"x（Hx→$y（Hy∧（Fxy∧Mxy）））
D.?"x（Hx→"y（Hy→Fxy∧Mxy））

你可能感興趣的試題

多項選擇題

取個體域為整數集。下列解釋能使公式"x"y（Rxy→Ryx）為真的有（）

A.R 表示“＜”關系
B.R 表示“≤”關系
C.R 表示“＝”關系
D.R 表示“≠”關系

單項選擇題

“有的S 不是P”用一階公式表達正確的有（）

A.$x（Sx∧?Px）
B."x（Sx→?Px）
C.$x（Sx→?Px）
D.?"x（Sx∧Px）