A Proposition is a statement or sentence that either true or false but not both. A simple statement or proposition is a statement containing no connectives. In other words a proposition is considered simple. If it cannot be broken up into sub-propositions.
On the other hand, a compound proposition is made up of two or more propositions joined by the connectives. These connectives are and, or, if ….. Then, if and only if. They are also called logic operators.
Logic operator symbol
If and only if ⇔
THE TRUTH TABLES
The Truth or falsify of a proposition is its truth values. A proposition that is true has a truth value T and a proposition that is false has a truth value of F.
|P q p ^ q||P q p v q||P q p q|
|T T T||T T T||T T T|
|T F F||T F T||T F F|
|F T F||F T T||F T T|
|F F F||F F F||F F T|
|P ^ Q is true when both p and q are true||P v q is false when both p and q are false||P is false when p is T & q is F|
|P q p ⇔ q||P P|
|T T T||T F|
|F T F||F T|
|F F T||~|
|P ⇔ q is true when both p and q are either both true and both false.|