命题符号化：（1）不管黑猫白猫,抓到老鼠就是好猫.（2）在平面上存在两点,有且只有一条直线通过这两点.x,y,a,b还有相应的谓词对应什么样的语言。

Question

命题符号化：
（1）不管黑猫白猫,抓到老鼠就是好猫.
（2）在平面上存在两点,有且只有一条直线通过这两点.
x,y,a,b
还有相应的谓词对应什么样的语言。

Answer 1

F(x):x是白猫
Q(x):x是黑猫
H(x):x抓到老鼠
G(x):x是好猫
（1）命题化为
∪x((F(x)∨Q(x))∧H(x)->G(x))
F(x):x是平面上一点
Q(x,y,z):直线z过点x和点y
（2）命题化为
∷x(F(x)∧∷yF(y)∧∷z(Q(x,y,z)∧∪tQ(x,y,t)->(Q(x,y,z)=Q(x,y,t))))
注：∪表示任意
∷表示存在