A system of reasoning
Logic
Logical system
Negate
Deduct
Derive
Elicit
Extrapolate
Induce
Infer
Contradict
Deduce
System
System of rules
Formal logic
Mathematical logic
Symbolic logic
Aristotelian logic