中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
Found in articles
自由变量和约束变量
在数学和其他涉及形式语言的学科中,包括数理逻辑和计算机科学,自由变量是在表达式中用于表示一个位置或一些位置的符号,某些明确的代换(英语:
Substitution
_(
logic
))可以在其中发生,或某些运算(比如总和或量化)可以在其上发生。这个概念有关于占位符(它是以后会被文字串(英语:String
谓词逻辑
在数理逻辑中,谓词逻辑(英語:predicate
logic
)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978).
Logic
for Mathematicians. Cambridge, England: Cambridge University
邏輯真理
(邏輯)(英语:False (
logic
)) 真值表:邏輯學中使用的數理表 恆真式:符號化的邏輯真理 定理 有效性 分析-综合区别 冯契,徐孝通主编,外国哲学大辞典,上海辞书出版社,2000.07,第778页 Quine, Willard Van Orman, Philosophy of
logic
扎尔塔, 爱德华·N
準用
("now for then";現在替代過去;事後補正;legal term with similar effect) 代位(英语:
Substitution
(
logic
)) 不利的推斷(英语:Adverse inference) 類推適用(彌補法律沒有明文規定的或則漏未規定之處,另擇其它類似事項的
经典逻辑
经典逻辑(英語:Classical
logic
),也被稱為標準邏輯(standard
logic
),标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新,它比亚里士多德的词项逻辑具有更广泛的应用,并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的
Substitution (logic)
来自维基百科,自由的百科全书