Assertion: free boolean algebra | /r/HasProperty | propositionsandarranged in a hasse diagram
Facets:
Source sentences:
text: p and q arranged in a In modern notation, the free Boolean algebra on basic propositionsandarranged in a Hasse diagram .