Assertion: deductive inference | /r/MadeOf | two premises
Facets:
Source sentences:
text: (Logic) a deductive inference consisting of two premises and a conclusion, all of which are categorial propositions.