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