中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Substitution (logic)
来自维基百科,自由的百科全书
Found in articles
谓词逻辑
在数理逻辑中,谓词逻辑(英語:predicate
logic
)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978).
Logic
for Mathematicians. Cambridge, England: Cambridge University
自由变量和约束变量
在数学和其他涉及形式语言的学科中,包括数理逻辑和计算机科学,自由变量是在表达式中用于表示一个位置或一些位置的符号,某些明确的代换(英语:
Substitution
_(
logic
))可以在其中发生,或某些运算(比如总和或量化)可以在其上发生。这个概念有关于占位符(它是以后会被文字串(英语:String
邏輯真理
(邏輯)(英语:False (
logic
)) 真值表:邏輯學中使用的數理表 恆真式:符號化的邏輯真理 定理 有效性 分析-综合区别 冯契,徐孝通主编,外国哲学大辞典,上海辞书出版社,2000.07,第778页 Quine, Willard Van Orman, Philosophy of
logic
扎尔塔, 爱德华·N
哲学逻辑
哲学逻辑 哲学逻辑(英語:Philosophical
logic
)指传统上使用公认的逻辑方法来解决或推进哲学问题讨论的哲学领域,是对逻辑更特定于哲学的方面的研究。 其中,西比尔·沃尔夫拉姆(英语:Sybil Wolfram)强调了对论证、意义和真理的研究,而科林·麦克金(英语:Colin
经典逻辑
经典逻辑(英語:Classical
logic
),也被稱為標準邏輯(standard
logic
),标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新,它比亚里士多德的词项逻辑具有更广泛的应用,并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的