affirming the consequent
contraposition
consequent
logical implication
implication
conditional relation
necessary condition
sufficient condition
decidable
quadratic reciprocity
antecedent
Löb's theorem
mathematical induction
prime ring
as long as
importation
and
prime ideal
p-adic norm
exportation
Euler's criterion
if'n
pyritic
yif
gin
in case
in the event that
foreguess
Chen prime
if
syllogist
existential instantiation
pyemic
pyaemic
provided
pyrrolic
presumption
decideable
Wall-Sun-Sun prime
Delaunay triangulation
where
paplike
Ford circle
nominal
deduce
phengitic
p-adic absolute value
infer
supposing
hypothetical