Assertion: formal argument | /r/HasProperty | expressed in formal language
Facets:
Source sentences:
text: Conversely, formal arguments are studied in formal logic (historically called symbolic logic, more commonly referred to as mathematical logic today) and are expressed in a formal language.