arabiclib.com logo ArabicLib en ENGLISH

Mantiq / Logic - Lexicon

logic
reasoning
argument
premise
conclusion
deduction
induction
syllogism
proposition
validity
soundness, consistency
fallacy
paradox
inference
truth
qarama-qarshilik
contradiction
imo-ishora
implication
equivalence
negation
conjunction
disjunction
predicate
quantifier
tautology
contrapositive
modus ponens
modus tollens
logical form
model
syntax
semantics
heuristic
abductive
axiom
theorem
proof
algorithm
binary
function
variable
operator
truth table
branching
necessity
possibility
consensus