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