## Propositional Logic (Truth Tables and Their Usage)

By a mathematical statement (or statement, or proposition) we mean a declarative sentence that can be classified as either true or false, but not both. For example, the sentences $$1+3=4, \quad 1+3=5, \quad \text{July is not a month}$$ can be accepted