Logic
Philosophy
Logical consequence
Deductive reasoning
Reasoning
Arguments
Inference
Implication
Universal quantification
Reason
Entailment
Validity