Assertion: formal argument | /r/HasProperty | studied in formal logic
Facets:
value: conversely
type: MANNER
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.