Discrete Mathematics with Applications (Epp), Chapter 2

23 flashcards · Mathematics · by charlie42

1. In logic, what is a statement?

   Something that is either true or false but not both

2. Another word for statement

   Proposition

3. Why is not a statement?

   If it's true or false depends on the value of x.

4. Example of a statement form

   p ∨ ~p

5. How to read p ∧ q

   p and q

6. How to read p ∨ q

   p or q

7. What is the order of operations between ~ and ∧ and ∨

   ~ goes first, then ∧ and ∨ are coequal

8. What would be the order of operations in this expression?

   This expression is ambiguous, it needs parenthesis to have meaning

9. How do you translate p but q in logic language

   p and q

10. How do you translate neither p nor q in logic language

    ~p ∧ ~q

11. Decompose this expression using and and or

12. Decompose this expression using and and or

13. What is this called?

    Conjunction

14. What is this called?

    Negation

15. The common order for truth values of p and q in a truth table for

16. What is this called, if p and q are statement variables?

    Disjunction

17. Two symbols for exclusive or

    ⊕ or XOR

18. When is p XOR q (exclusive or) True (in words)

    p or q and not both p and q

19. Statement form of exclusive or

20. A tip to fill out a truth table for and statement

    Put a T in each row where both components are true; Put an F in each of the remaining rows.

21. A tip to fill out a truth table for or statement

    Put a F in each row where both components are false; Put an T in each of the remaining rows.

22. Notation for logical equivalence

23. Construct truth table for both statement forms Compare truth values. If all are equal then statement forms are equivalent