Assertion: logic | /r/HasProperty | the study of formal reasoning
Facets:
Source sentences:
text: Logic is the study of formal reasoning based upon statements or propositions.