deductive logic
Definitions
Reasoning that derives conclusions from general principles or premises, such that the conclusions follow necessarily if the premises are true.
The branch of logic concerned with valid deductive inference.
Examples
Deductive logic helps us reach conclusions from established facts.
She used deductive logic to solve the mystery.