[显示"修订历史"] [显示"一般信息"] [显示"网页点击次数和编辑次数"]
一般信息
网页大小：2881
此页正文的SHA编码： 57EF97A444B0E7776D82D594E322E33C736A1374
此页包含 0 个附件。
此页连到以下网页： 演绎, 自然语言, 英语, 形式语言, 论域, 个体, 命题逻辑, 命题, 谓词, 量词, 苏格拉底, 柏拉图, 逻辑, 公理, 集合, 有限, 递归, 枚举, 完备, 集合论, 皮亚诺算术, 可数性, 关系, 常量, 函数, 变量, 逻辑算子, 连结词, 逻辑非, 逻辑与, 合取, 逻辑或, 析取, 逻辑条件, 逻辑双条件, 全称量词, 存在量词, 离散数学, 人工智能.