Assertion: deductive logic | /r/CapableOf | make deduction
Facets:
value: from those premises
type: OTHER
Source sentences:
text: Unlike inductive logic, deductive logic begins with presumably true premises and then makes a deduction from those premises.