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