1. MATH 110 Sec 3-1 Lecture on Statements and Connectives STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

2. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

3. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

4. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 The following are NOT statements STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

5. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 The following are NOT statements Hit the baseball STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

6. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 The following are NOT statements Hit the baseball Are you listening? STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

7. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 The following are NOT statements Hit the baseball Are you listening? If I were a rich man STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

8. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 The following are NOT statements Hit the baseball Are you listening? If I were a rich man This sentence is false. STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

9. MATH 110 Sec 3-1 Lecture on Statements and Connectives Examples of statements I ate spinach for lunch today. 5 + 8 = 10 The following are NOT statements Hit the baseball Are you listening? If I were a rich man This sentence is false. (This last one is called a paradox because if we assume it is true, it has to be false and if we assume that it is false, then it has to be true.) STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

10. MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

11. MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.). Examples of COMPOUND statements

12. MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.). Examples of COMPOUND statements Dickens wrote novels and the poem is short.

13. MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.). Examples of COMPOUND statements Dickens wrote novels and the poem is short. You can pay me now or you can pay me later.

14. MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.). Examples of COMPOUND statements Dickens wrote novels and the poem is short. You can pay me now or you can pay me later. Today is not payday.

15. MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.). Examples of COMPOUND statements Dickens wrote novels and the poem is short. You can pay me now or you can pay me later. Today is not payday. If today is Wednesday, then I have math class.

16. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. The negation of a statement always has the opposite truth value of the original statement.

17. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples The negation of a statement always has the opposite truth value of the original statement.

18. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples Statement: "Earth is a planet.“ The negation of a statement always has the opposite truth value of the original statement.

19. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples Statement: "Earth is a planet.“ Negation: "Earth is not a planet." The negation of a statement always has the opposite truth value of the original statement.

20. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples Statement: "Earth is a planet.“ Negation: "Earth is not a planet." Statement: "Today is not Tuesday." The negation of a statement always has the opposite truth value of the original statement.

21. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples Statement: "Earth is a planet.“ Negation: "Earth is not a planet." Statement: "Today is not Tuesday." Negation: "Today is Tuesday." The negation of a statement always has the opposite truth value of the original statement.

22. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples Statement: "Earth is a planet.“ Negation: "Earth is not a planet." Statement: "Today is not Tuesday." Negation: "Today is Tuesday." The negation of a statement always has the opposite truth value of the original statement. What is the negation of the statement: "x < 7 " ?

23. MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word 'not‘. Examples Statement: "Earth is a planet.“ Negation: "Earth is not a planet." Statement: "Today is not Tuesday." Negation: "Today is Tuesday." The negation of a statement always has the opposite truth value of the original statement. What is the negation of the statement: "x < 7 " ? x > 7

24. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction

25. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction

26. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction or Disjunction

27. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction or (inclusive) Disjunction

28. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction or (inclusive) Disjunction notNegation

29. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction or (inclusive) Disjunction notNegation If…thenImplication

30. MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives ConnectiveSymbolName andConjunction or (inclusive) Disjunction notNegation If…thenImplication If and only ifBiconditional

31. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH

32. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH

33. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big.

34. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big.

35. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue.

36. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue.

37. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big.

38. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big.

39. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big. The car is blue and the dog is not big.

40. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big. The car is blue and the dog is not big.

41. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big. The car is blue and the dog is not big. If the car is blue, then the dog is not big.

42. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big. The car is blue and the dog is not big. If the car is blue, then the dog is not big.

43. MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big." SYMBOLIC STATEMENTSTATEMENT IN ENGLISH The car is blue and the dog is big. The car is not blue. The car is blue or the dog is big. The car is blue and the dog is not big. If the car is blue, then the dog is not big. The dog is not big if and only if the car is blue.

44. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

45. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing)

46. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers All dogs bark. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing)

47. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers All dogs bark.None of the drivers was hurt. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing)

48. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers All dogs bark. Each student made an A. None of the drivers was hurt. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing)

49. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers All dogs bark. Each student made an A.No joke was funny. None of the drivers was hurt. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing)

50. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing) ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING) All dogs bark. Each student made an A.No joke was funny. None of the drivers was hurt.

51. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers Some kids are kind. All dogs bark. Each student made an A.No joke was funny. None of the drivers was hurt. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing) ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

52. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers Some kids are kind. At least one score was a touchdown. All dogs bark. Each student made an A.No joke was funny. None of the drivers was hurt. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing) ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

53. MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers Some kids are kind. At least one score was a touchdown. There exists a UA student who doesn’t like football. All dogs bark. Each student made an A.No joke was funny. None of the drivers was hurt. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. (asserts that the statement quantified is true for EVERY relevant thing) ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

54. MATH 110 Sec 3-1 Lecture on Statements and Connectives ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

55. MATH 110 Sec 3-1 Lecture on Statements and Connectives ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier.

56. MATH 110 Sec 3-1 Lecture on Statements and Connectives Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement AND the negation of an Existential statement will be a Universal statement. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

57. MATH 110 Sec 3-1 Lecture on Statements and Connectives Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement AND the negation of an Existential statement will be a Universal statement. STATEMENTNEGATION ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

58. MATH 110 Sec 3-1 Lecture on Statements and Connectives Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement AND the negation of an Existential statement will be a Universal statement. STATEMENTNEGATION All athletes are wealthy. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

59. MATH 110 Sec 3-1 Lecture on Statements and Connectives Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement AND the negation of an Existential statement will be a Universal statement. STATEMENTNEGATION All athletes are wealthy.Some athletes are not wealthy. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

60. MATH 110 Sec 3-1 Lecture on Statements and Connectives Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement AND the negation of an Existential statement will be a Universal statement. STATEMENTNEGATION All athletes are wealthy.Some athletes are not wealthy. Some students get loans. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

61. MATH 110 Sec 3-1 Lecture on Statements and Connectives Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement AND the negation of an Existential statement will be a Universal statement. STATEMENTNEGATION All athletes are wealthy.Some athletes are not wealthy. Some students get loans.No student gets a loan. ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers. ‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.