Skip to main content
search

In symbolic logic, a “logically grammatical” statement.