Assertion: logic's property | /r/HasProperty | sets of strings
Facets:
Source sentences:
text: How do deducibility and validity, as properties of formal languages--sets of strings on a fixed alphabet--relate to correct reasoning?