The following are statements. “The sky is blue.” “George Washington was the first president of the United States.” The following are not statements. “Hello.” “Study hard.” “Is that true?”
For convenience we have some symbols commonly used to express logic statements. Letters, such as A and B, are used to refer to statements. 0 represents false and 1 represents true. Symbols for combining statements are shown in the truth tables below.
Statements can be modified and combined. Figure 2.1.2 gives the definitions for some of these logic operations. A truth table is a notation for listing all possible inputs to a statement and the resulting truth or lack thereof. Below are truth tables defining the basic logic operations.
For convenience the following symbols are used for these operations. As with arithmetic operations there is an order of operations. Figure 2.1.3 lists the operators in first to last order.
Two, possibly compound, statements A and B are considered to be equivalent if they have the same truth value for all inputs. This is denoted \(A \leftrightarrow B.\)Figure 2.1.7 and Figure 2.1.8 provides truth tables that show two pairs of equivalent statements known as DeMorgan’s Laws.
We want the negation. DeMorgan’s Law tells us the negation is: Guido dislikes hiking or Guido dislikes cycling. This matches our expectation that a statement is false if any part of it is false.
