问答题 将下面语句翻译成谓词逻辑公式： 通过两个不同点有且仅有一条直线。

问答题 将下面语句翻译成谓词逻辑公式： 对一切实数都有x2>0或x2=0.

问答题 将下面语句翻译成谓词逻辑公式： 白猫黑猫逮住老鼠就是好猫。