arabiclib.com logo ArabicLib cn 汉语 ▼

Lógica / 逻辑 - 词汇

lógica
逻辑
razonamiento
推理
argumento
争论
premisa
前提
conclusión
结论
deducción
扣除
inducción
就职
silogismo
三段论
proposición
主张
validez
有效性
solvencia
健全性
falacia
谬论
paradoja
悖论
inferencia
推理
verdad
真相
contradicción
矛盾
implicación
含义
equivalencia
等价
negación
否定
conjunción
连词
disyunción
析取
predicado
谓词
cuantificador
量词
tautología
同义反复
consistencia
一致性
contrapositivo
逆否命题
modus ponens
肯定前件式
modus tollens
否定式
forma lógica
逻辑形式
modelo
模型
sintaxis
句法
semántica
语义
heurístico
启发式
abductivo
溯因推理
axioma
公理
teorema
定理
prueba
证明
algoritmo
算法
binario
二进制
teoría de conjuntos
集合论
función
功能
variable
多变的
operador
操作员
tabla de verdad
真值表
derivación
分枝
necesidad
必要性
posibilidad
可能性
consenso
共识