predicate calculus
functional calculus
logic
argumentation
without loss of generality
system of logic
glib
slick
deductive
pat
existential quantifier
hypothesize
formal logic
existential operator
dubitancy
decidable
on paper
suppositum
foreguess
intuit
hypothetically
hypothesise
credal
hypothecate
subjectivism
preassumption
corollary
theorise
speculate
Münchhausen trilemma
inference
illation
theorize
unconvincing
suppose
conjecture
negation
contradiction
open texture
simulationism
syllogist
arguendo
algebraism
go with one's gut