问答题
将下面语句翻译成谓词逻辑公式： 通过两个不同点有且仅有一条直线。
问答题 将下面语句翻译成谓词逻辑公式： 对一切实数都有x2>0或x2=0.
问答题 将下面语句翻译成谓词逻辑公式： 白猫黑猫逮住老鼠就是好猫。
问答题 设C是一非空的某论述域U的子集的搜集，证明下列德摩根定理的推广：
