In Discrete Mathematics, a proposition is a declarative statement that is either true or false, but not both at the same time.
A proposition is a sentence that has a definite truth value:
There is no ambiguity in a proposition.
Each of the above statements can be clearly classified as true or false.
The following are not propositions because they do not have a definite truth value:
Simple (Atomic) PropositionA single statement with no logical connectives.Example:
Compound PropositionFormed by combining simple propositions using logical operators such as AND (∧), OR (∨), NOT (¬), IF–THEN (→).Example: