contradiction
classical logic
NOT
tautology
truth function
existential operator
existential quantifier
universal quantifier
completeness
negation
paradox
consistency
NOT operator
contradiction in terms
argument from ignorance
argumentum ad ignorantiam
ternary logic
law of nontriviality
axiom
vacuous truth
falsiness
interpretation
infinite descent
material implication
contrary
truth value
bool
proposition
sophistication
universal
universal proposition
propositional variable
propositional calculus
falsity
formula
inference
Boolean atom
pseudologic
truthbearer
untrueness
truthiness
sentential logic
equivalence
unfact
alethiology
false equivalence
argumentum ad consequentiam
zero-order logic
non-classical logic
lie