contraposition
conditional relation
implication
logical implication
affirming the consequent
consequent
sufficient condition
necessary condition
antecedent
decidable
importation
counterfactual
oblique case
negation
prenucleus
dependent
rule-based
material conditional
unless
mixed conditional
law of noncontradiction
condition
mathematical induction
categorical proposition
is-ought problem
Peirce's law
affirmatio
synset
proof
hypothesis
vicious circle
where
take
prime ring
type II error
argument form
logic
argumentation
existential instantiation
nominoaccusative
quadratic reciprocity
possibly
predicate
vel non
exportation
type I error
might
truth value
vouch
non-finite verb