In symbolic logic, a “logically grammatical” statement.