Sentence logic
From Wikipedia, the free encyclopedia
Sentence logic is a simple kind of logical grammar, designed to communicate logical equivelances of a spoken or written language. It is different from other logical grammars in that it has no implied order of operations, and the set of operators used in it are explicitly limited to atomic sentences, parentheses, and operators, or operators, implication operators, equivalence operators, and "not" operators.