命题逻辑等值演算Equivalent calculus of propositional logic

联结词完备集adequate set of truth functional connectives
空简单析取式empty simple disjunctive formula
消解文字resolution literal
消解式resolvent
消解结果resolution result
消解规则resolution rule
消解序列resolution sequence
否证disconfirm
消解算法resolution algorithm

命题逻辑的推理理论The theory of reasoning in propositional logic

推理的形式结构
前提premise
结论conclusion
推理inference
有效结论efficacious conclusion
真值表法truth table method
等值演算法Equivalent algorithm
主析取范式法Principal disjunctive method
推理定律deduction laws
重言蕴涵式Tautological implication
附加律Additional law
化简律reduced law
假言推理modus ponens
hypothetical reasoning
拒取式modus tollendo ponens
析取三段论disjunctive syllogism
假言三段论hypothetical syllogism
等价三段论Equivalent syllogism
构造性二难Structural dilemma
破坏性二难Destructive dilemma
形式系统Formal system
形式语言系统Formal language system
形式演算系统Formal calculus system
自然推理系统Natural reasoning system
公理推理系统Axiomatic reasoning system
定理theorem
命题变项符号Propositional variable symbol
联结词符号Connective symbol
括号parentheses
逗号comma
合式公式well-formed formula
前提引入规则Prerequisite introduction rule
结论引入规则Conclusion Introduction rule
置换规则replacement rule
合取引入规则Conjunctive introduction rule
公式序列formula sequence
证明proof

一阶逻辑基本概念Basic concepts of first-order logic

个体词distributive
个体常项object constants
个体变项Individual Variable
个体域object domain /domain of individuals（论域universe of discourse）
有限个体域Finite individual domain
无限个体域Infinite individual domain
全总个体域Total individual domain
谓词predicate
谓词常项predicate constants
谓词变项predicate variable
一元谓词unitary predicates
多元谓词multivariate predicates
0元谓词zero predicates
量词quantifier
全称量词universal quantifier
存在量词existential quantifier
项item
原子公式atomic formula
合式公式well-formed formula
指导变元operating variables
辖域scope
约束出现Bound Variable
自由出现free occurrence

Edition

2nd edition 2021/10/6

离散数学专业术语（continuous updating）相关推荐

卷积滤波英文_《信号与系统》专业术语中英文对照表
<信号与系统>专业术语中英文对照表第 1 章绪论信号 ( signal ) 系统 ( system ) 电压 ( voltage ) 电流 ( current ) 信息 ( info ...
influxdb无法实现关联表_InfluxDb专业术语
InfluxDb专业术语重复是最好的学习方式,我们再重复一些Influx的概念吧,虽然很多已经讲过,甚至上一课已经讲了.我发现我自己还是有点啰嗦,不过这可能是一种好的学习方法哦. 聚合函数aggre ...
人工智能领域专业术语合集
人工智能专业术语资料来源:https://github.com/jiqizhixin/Artificial-Intelligence-Terminology 文章目录人工智能专业术语 Letter ...
图像处理专业术语中英文对照
图像处理研究初学者在看外文文献时,会遇到很多专业术语,为方便理解和学习,现将部分常用图像处理专业术语整理如下: 基本术语 digital image:数字图像 digital image proces ...
计算机相关专业术语中英文对照
计算机专业术语对照 A abstraction layer,抽象层 access,获取,存取 acoustic coupler,声音耦合器 Active Directory,活动目录 Acyclic ...
ERP专业术语对照表
ERP专业术语对照表 1 英文缩写: MIS 英文全称: Management Information System 中文翻译: 管理信息系统简释: MIS是指对企业大量的原始管理数据进行收集.整 ...
《通信工程》专业术语及其缩写大全
此博客使用方法:点击""加载全文内容,ctrl键+F键,可呼出定位查找. 缩写及其专业术语缩写全称释义参考文献 6LoWPAN IPv6 over low-power wi ...
如何通俗易懂的解释无线通信中的那些专业术语！
这是一篇来自网络的非常经典的一篇老文,原作者不详,但非常值得一读! 香农定理类比:城市道路上的汽车的车速和什么有关系?和道路的宽度有关系,和自己车的动力有关系,也其他干扰因素有关系(如:车量的多少和 ...
机器学习中相关英文专业术语
机器学习中相关英文专业术语 Name Instructions activation function 激活函数 additive noise 加性噪声 autoencoder 自编码器 Autoen ...

离散数学专业术语（continuous updating）

命题逻辑等值演算Equivalent calculus of propositional logic

命题逻辑的推理理论The theory of reasoning in propositional logic

一阶逻辑基本概念Basic concepts of first-order logic

Edition

离散数学专业术语（continuous updating）相关推荐

最新文章

热门文章