Assertion: propositional logic | /r/HasAspect | desirable feature
Facets:
Source sentences:
text: Classical predicate logic has the desirable feature that co-extensive open formulas may be substituted for one another in any formula salva veritate