Assertion: formal logic | /r/HasProperty | the study of inference
Facets:
Source sentences:
text: Formal logic is the study of inference with purely formal content.