语句“IF [#1LE360] GOTO70” 也可写成“IF [#1LT360] GOTO70”,最终效果相同。
查看答案
若F(x):x是乌鸦,G(x):x是黑的。那么命题“乌鸦都是黑色的”符号化( )
A. "x(F(x)Ù G(x))
B. $x(F(x)ÙG(x))
C. "x(F(x)®G(x))
D. $x(F(x)®G(x))
设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. 错