问答题
简答题
如果论述域是整数1，确定下列命题哪些是真。题中！xP（x）表示“存在唯一的x使P（x）是真”，是常用的第三个量词，但它可用已有的两个量词表达出来。
（a）
x
y（x▪y=1）
（b）
x
!y（x+y=0）
（c）
y
x（x+y=1）
（d）
y
x（x▪y=x）
【参考答案】
问答题
如果论述域是整数1，确定下列命题哪些是真。题中！xP（x）表示“存在唯一的x使P（x）是真”，是常用的第三个量词，但它可用已有的两个量词表达出来。
（a）xy（x▪y=1）
（b）x!y（x+y=0）
（c）yx（x+y=1）
（d）yx（x▪y=x）