题目内容

设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快。那么命题“所有的汽车都比所有的火车快”符号化（）

A. "x"y(F(x)ÙG(y)®H(x,y))
B. "x"y(F(x)ÙG(y)ÙH(x,y))
C. $x$y(F(x)ÙG(y)ÙØH(x,y))
D. $x$y(F(x)ÙG(y)®ØH(x,y))

查看答案

搜索结果不匹配？点我反馈

更多问题

在公式 $x(F(x,y,z)®"y(G(x,y)ÙH(x,y,z))) 中 x和y分别自由出现和次。

公式"xF(x)®($x$yG(x,y)®"xF(x))是永真式。（）

A. 对
B. 错

公式"xF(x,y) ® $yG(y)是一个闭式。（）

A. 对
B. 错

在实数域里 "x$yL(x,y)和$x"yL(x,y) 所表达的意思一样（其中L(x,y):x

A. 对
B. 错