Assertion: traditional logic | /r/CapableOf | use the term letter
Facets:
Source sentences:
text: in predicate logic, involving the logical connectives for universal quantification and implication rather than just the predicate letter A and using variable arguments P ( x ) {\displaystyle P(x)} where traditional logic uses just the term letter P.