Professional Documents
Culture Documents
Logic Operations
AND (conjunction) q pq T T F F T F F F OR (disjunction) q pq T T F T T T F F And Statements These statements are true only when both p and q are true (as the rigorous definition of and implies.) Example: I will bring both a pen AND a pencil to the tutoring session. Only if I bring both is this true. .
p T T F F
p T T F F
Or Statements These statements are false only when both p and q are false (follows the definition of or.) Example: I will bring a pen OR a pencil to the tutoring appointment. Only if I dont do either is this false.
Not Statements The not is simply the opposite or complement of its original value. Example: p = It is raining ~p = It is NOT raining If Then Statements These statements are false only when p is true and q is false (because anything can follow from a false premise.) Example: IF I am elected THEN taxes will go down. Only if I am elected and taxes dont go down is this false.
p T T F F
If and Only If Statements These statements are true only when both p and q have the same truth values. Example: Taxes will go down IF AND ONLY IF I am elected. Only if I am elected and taxes go down, or I am not elected and taxes do not go down is this true.
3. Then start with negations (nots or ~), create a new column for each piece of the statement or argument, filling in the truth values as you go. Work from simple pieces to more difficult pieces until you have the truth values for the whole problem. 4. If two statements have the same truth values, then they are equivalent.
Equivalents
There are a number of equivalents in logic. This means that these statements have been proven true, and you can use these statements without having to prove them. The symbol for equivalent is . The following are the most commonly used equivalents: pTp ppp ~(p q) ~p ~q DeMorgans Law #1 pFF ppp ~(p q) ~p ~q pTT p ~p F DeMorgans Law #2 pFp p ~p T p q ~p q p q ~q ~p p (q r) (p q) (p r) 2 p (q r) (p q) (p r) MTH 151 Logic
p q ~p q
Left Side: Is (p q) true? Use values from p and q columns. ~p q T F T T ~p q T F T T
Step 4:
p q ~p
Right Side: Is (~p q) true? Use values from ~p and q columns. p q ~p q T T F F Step 5:
p q ~p q
Is the entire statement true? No.
The entire statement is true only when the last columns truth values are all True. In this case, (p q) is not equivalent to (~p q) because they do not have the same truth values. If every cell in the last column is True, then the entire statement is true. This is called a tautology.
You can now re-write the argument using logical operators. Look for keywords like if and not. If it is cold, then my motorcycle will not start. My motorcycle started. It is not cold. p ~q q ~p
Finally, the argument can be rewritten as a logical statement. Arguments can always be written in the following form:
[ (p ~q) q ] ~p
This statement can then be proven valid or invalid using a truth table, as shown on the following page.
Step 1: Determine the number of variables and rows needed, then write down all possible combinations of p and q.
Step 2: [ (p ~q) q ] ~p Write down values of ~p (or not p) Step 3: [ (p ~q) q ] ~p Write down values of ~q (or not q)
q ~p ~q T F F F F T T T F F T T q ~p ~q T F F F F T T T F F T T q ~p ~q T F T F F F T T F T F T
Step 4:
[ (p ~q) q ] ~p Left Side: Start within the inner most parentheses. Is (p ~q) true? Use values from p and ~q columns. Step 5: (p ~q) q F F T F (p ~q) q F F T F
[ (p ~q) q ] ~p
Left Side: Work outwards towards the outer most parentheses. Is [ (p ~q) q ] true? Use values from (p ~q) and q columns. Step 6:
[ (p ~q) q ] ~p T T T T
[ (p ~q) q ] ~p