arabiclib.com logo ArabicLib cs ČESKÝ ▼

Logika / 逻辑 - Slovník

logika
逻辑
uvažování
推理
argument
争论
předpoklad
前提
závěr
结论
dedukce
扣除
indukce
就职
sylogismus
三段论
tvrzení
主张
platnost
有效性
spolehlivost
健全性
klam
谬论
paradox
悖论
odvození
推理
pravda
真相
rozpor
矛盾
implikace
含义
rovnocennost
等价
negace
否定
spojení
连词
disjunkce
析取
přísudek
谓词
kvantifikátor
量词
tautologie
同义反复
konzistence
一致性
kontrapozitivní
逆否命题
modus ponens
肯定前件式
způsob mzdy
否定式
logická forma
逻辑形式
model
模型
syntax
句法
sémantika
语义
heuristický
启发式
únosný
溯因推理
axiom
公理
teorém
定理
důkaz
证明
algoritmus
算法
binární
二进制
teorie množin
集合论
funkce
功能
proměnná
多变的
operátor
操作员
pravdivostní tabulka
真值表
větvení
分枝
nutnost
必要性
možnost
可能性
konsensus
共识