sufficient condition
necessary condition
logical implication
implication
conditional relation
contraposition
affirming the consequent
importation
exportation
quadratic reciprocity
decidable
mathematical induction
antecedent
cap product
p-adic
consequent
predicate
existential instantiation
law of excluded middle
categorical proposition
Ford circle
Löb's theorem
prime ideal
conchoid
contrastivism
prime ring
pyrrolic
Wall-Sun-Sun prime
Iverson bracket
p-adic norm
P-complete
pyritic
contradiction in terms
law
contradiction
pyaemic
logicomathematical
explanandum
explicandum
pyemic
Gougu theorem
sentential logic
Gougu rule
Peirce's law
circle of Apollonius
Gauss-Lucas theorem
is-ought problem
zero-order logic
phengitic
-sis
nominal
Liouville number
term logic
pneumatic
formalism
polyfusomal
pyrity
Abel polynomial
P-bar
pygmy
factual
swamp cancer
dialectic
synset
definition
logistic
clausify
material implication
as
mean value theorem
limit point
clausification
in any event
in any case
propelinear
pseudomutant
anyways
agnate
at any rate
interchangeable
stationary distribution
systatic
clauselike
anyhow
anyway
characteristic polynomial
illative conjunction
4DR
functional calculus
Fermat's little theorem
proposition
valuation
reductio ad absurdum
polysemically
pyroclimatic
predicate calculus
define
polypean