ternary logic
valuation
fuzzy logic
classical logic
many-valued logic
connective
ex falso quod libet
neutrosophic
posit
elicit
postulate
zero-order logic
tautology
NOT operator
sentential logic
interpretation
alethiology
negation
contradiction
contradiction in terms
logicism
line
line of reasoning
argument
argumentation
logistically
logical argument
truth value
paradox
modal logic
sophistication
NOT
formal logic
material conditional
propositional calculus
metalogic
Herbrand's theorem
valuation function
Davis-Putnam algorithm
truth table
logicist
prealgebra
principle of explosion
logicality
Gödel's incompleteness theorem
universal quantifier
theorem
axiom
logicomathematical
synthetic