antecedent
consequent
importation
decidable
implication
logical implication
conditional relation
sentential logic
zero-order logic
unconditional
propositional calculus
Peirce's law
contraposition
affirming the consequent
modus ponens
conditionality
existential operator
existential quantifier
Bayes' theorem
modus tollens
modus tollendo ponens
semifactual
negation
modus ponendo ponens
exportation
inclusive or
propositional logic
provisorily
necessary condition
cash out
sufficient condition
modus ponendo tollens
conditionalness
posterior probability
Euclid's lemma
birational
quadratic reciprocity
disjunctive syllogism
nominal
formal logic
material implication
predicate
modus tollendo tollens
p-adic absolute value
proportionality
connote
hypothesis
decision theory
lemmatically
existential instantiation