Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
判断
Wikipedia 维基中文 免费百科全书
Download this dictionary
句子 (数理逻辑)
在
数理逻辑
中,
句子
是没有
自由变量
的
公式
;在
模型论
中,一个句子在给定的
数学结构
中要么是真要么是假。
例如
不是
一个句子,因为出现了自由变量
;在
实数
的结构中,如果
则它是真,但是如果
则不是。在另一方面
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许