arabiclib.com logo ArabicLib en ENGLISH

논리 / Logic - Lexicon

logic
reasoning
argument
premise
conclusion
deduction
induction
syllogism
proposition
validity
soundness
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