Assertion: square | /r/HasProperty | diagram
Facets:
value: in philosophical logic
type: OTHER
Source sentences:
text: In philosophical logic, the square of opposition is a diagram representing the relations between the four basic categorical propositions.