4-2 Discrete Mathematical Structures
4.2 STATEMENT PROPOSITION
A statement (or a proposition) is a declarative sentence that is either true or false but not both,
but is meaningful. The truthfulness or fallacy (falsehood) of a statement is called its truth value,
which are denoted by T and F, respectively.
For definiteness of statement, Aristotle has given the following laws:
1. The Law of Identity: Under this law, the symbols will have the same meaning throughout
the specified problem.
2. The Law of Excluded Middle: For every statement or proposition p, either p is true or p is
false and there is no possibility of intermediate exclusion.
3. The Law of Contradiction: No statement is true and false simultaneously.
Consider the following sentences: ...