1 Logic A proposition is a statement that is either true or false. Propositions can be joined by \and\, \or\, \not\, \implies\, or \if and only if\. For each of these connective, the defini- tion and notational shorthand are given in the table below. Here A and B denote arbitrary propositions