arabiclib.com logo ArabicLib cn 汉语 ▼

Logic / 逻辑 - 词汇

logic
逻辑
reasoning
推理
argument
争论
premise
前提
conclusion
结论
deduction
扣除
induction
就职
syllogism
三段论
proposition
主张
validity
有效性
soundness
健全性
fallacy
谬论
paradox
悖论
inference
推理
truth
真相
contradiction
矛盾
implication
含义
equivalence
等价
negation
否定
conjunction
连词
disjunction
析取
predicate
谓词
quantifier
量词
tautology
同义反复
consistency
一致性
contrapositive
逆否命题
modus ponens
肯定前件式
modus tollens
否定式
logical form
逻辑形式
model
模型
syntax
句法
semantics
语义
heuristic
启发式
abductive
溯因推理
axiom
公理
theorem
定理
proof
证明
algorithm
算法
binary
二进制
set theory
集合论
function
功能
variable
多变的
operator
操作员
truth table
真值表
branching
分枝
necessity
必要性
possibility
可能性
consensus
共识