设M(x):x是人。C(x):x喜欢玩游戏。则“尽管有人喜欢玩游戏,但未必一切人都喜欢玩游戏” 可以完整地符号化为: ($x)(M(x)∧C(x)) ∧ ┐("x)(M(x)→C(x)) 。
查看答案
令F(x):x是负数, G(x):x是实数, L(x,y):x
令F(x):x是火车, G(x):x是卡车, L(x,y):x快于y,则“有的火车快于有的卡车”可以符号化为: $x(F(x) Ù $y(G(y)ÙL(x,y)) ) 。
“所有人都爱看电影是不对的”可符号化为:┐"x(F(x)→G(x)) 其中,F(x):x是人,G(x):x爱看电影。
设H(x):x是人,G(x):x爱美,则“人都爱美”,可以符号化为:"x (H(x) ÙG(x)) 。