corollary
posit
postulate
axiom
weakening
postulation
predication
demonstration
monstrance
argumentation
imply
negation
speculate
natural deduction
vicious circle
ex falso quod libet
logical proof
diallel
derivation
tautology
existential quantifier
existential operator
without loss of generality
material implication
propositional calculus
principle of explosion
proof by example
logic
consequence
a priori
zero-order logic
conservative extension
sentential logic
on paper
deductive
elicit
lemma
logicist
fuzzy logic
constatation
basic assumption
proof
self-evident truth
conclusion
ratiocination
circular argument
abstract universal
many-valued logic
conjecturalism
allege