假设论述域为全总个体域，用谓词和量词符号化下列命题。
不是所有的火车都比所有的汽车快
令A(x):x是火车，B(x):x是汽车，C(x,y):x比y慢。
┐∀x(A(x)→∃y(B(y)∧C(x,y)))
标签：全总,符号化,量词
版权声明：文章由 酷百书 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.kubaishu.com/life/124594.html
假设论述域为全总个体域，用谓词和量词符号化下列命题。
不是所有的火车都比所有的汽车快
令A(x):x是火车，B(x):x是汽车，C(x,y):x比y慢。
┐∀x(A(x)→∃y(B(y)∧C(x,y)))
标签：全总,符号化,量词
