Mathematical Logic Part Two

Transcription

1 Mathematical Logic Part Two

2 Recap from Last Time

3 Recap So Far A propositional variable is a variable that is either true or false. The propositional connectives are as follows: Negation: p Conjunction: p q Disjunction: p q Implication: p q Biconditional: p q True: False:

4 Take out a sheet of paper!

5 What's the truth table for the connective?

6 What's the negation of p q?

7 New Stuff!

8 First-Order Logic

9 What is First-Order Logic? First-order logic is a logical system for reasoning about properties of objects. Augments the logical connectives from propositional logic with predicates that describe properties of objects, functions that map objects to one another, and quantifiers that allow us to reason about multiple objects.

10 Some Examples

11 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me)

12 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me)

13 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me)

14 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me) These These blue blue terms terms are are called called constant constant symbols. symbols. Unlike Unlike propositional propositional variables, variables, they they refer refer to to objects, objects, not not propositions. propositions.

15 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me)

16 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me) The The red red things things that that look look like like function function calls calls are are called called predicates. predicates. Predicates Predicates take take objects objects as as arguments arguments and and evaluate evaluate to to true true or or false. false.

17 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me)

18 Likes(You, Eggs) Likes(You, Tomato) Likes(You, Shakshuka) Learns(You, History) ForeverRepeats(You, History) DrinksTooMuch(Me) IsAnIssue(That) IsOkay(Me) What What remains remains are are traditional traditional propositional propositional connectives. connectives. Because Because each each predicate predicate evaluates evaluates to to true true or or false, false, we we can can connect connect the the truth truth values values of of predicates predicates using using normal normal propositional propositional connectives. connectives.

19 Reasoning about Objects To reason about objects, first-order logic uses predicates. Examples: IsCute(Quokka) ArgueIncessantly(Democrats, Republicans) Applying a predicate to arguments produces a proposition, which is either true or false.

20 First-Order Sentences Sentences in first-order logic can be constructed from predicates applied to objects: Cute(a) Dikdik(a) Kitty(a) Puppy(a) Succeeds(You) Practices(You) x < 8 x < 137 The The less-than less-than sign sign isis just just another another predicate. predicate. Binary Binary predicates predicates are are sometimes sometimes written written inin infix infix notation notation this this way. way. Numbers Numbers are are not not built built in in to to first-order first-order logic. logic. They re They re constant constant symbols symbols just just like like You You and and a a above. above.

21 Equality First-order logic is equipped with a special predicate = that says whether two objects are equal to one another. Equality is a part of first-order logic, just as and are. Examples: TomMarvoloRiddle = LordVoldemort MorningStar = EveningStar Equality can only be applied to objects; to state that two propositions are equal, use.

22 Let's see some more examples.

23 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

24 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

25 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

26 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

27 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her)) These These purple purple terms terms are are functions. functions. Functions Functions take take objects objects as as input input and and produce produce objects objects as as output. output.

28 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

29 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

30 FavoriteMovieOf(You) FavoriteMovieOf(Her) StarOf(FavoriteMovieOf(You)) = StarOf(FavoriteMovieOf(Her))

31 Functions First-order logic allows functions that return objects associated with other objects. Examples: ColorOf(Money) MedianOf(x, y, z) x+y As with predicates, functions can take in any number of arguments, but always return a single value. Functions evaluate to objects, not propositions.

32 Objects and Predicates When working in first-order logic, be careful to keep objects (actual things) and predicates (true or false) separate. You cannot apply connectives to objects: Venus TheSun You cannot apply functions to propositions: StarOf(IsRed(Sun) IsGreen(Mars)) Ever get confused? Just ask!

33 One last (and major) change

34 For any natural number n, n is even iff n2 is even

35 For any natural number n, n is even iff n2 is even n. (n ℕ (Even(n) Even(n2)))

36 For any natural number n, n is even iff n2 is even n. (n ℕ (Even(n) Even(n2))) isis the the universal universalquantifier quantifier and and says says for for any any choice choice of of n, n, the the following following isis true. true.

37 The Universal Quantifier A statement of the form x. some-formula is true if, for every choice of x, the statement some-formula is true when x is plugged into it. Examples: p. (Puppy(p) Cute(p)) m. (IsMillennial(m) IsSpecial(m)) Tallest(SK) x. (SK x ShorterThan(x, SK))

38 The Universal Quantifier x. Smiling(x)

39 The Universal Quantifier x. Smiling(x)

40 The Universal Quantifier x. Smiling(x)

41 The Universal Quantifier x. Smiling(x)

42 The Universal Quantifier x. Smiling(x)

43 The Universal Quantifier x. Smiling(x)

44 The Universal Quantifier x. Smiling(x)

45 The Universal Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x) isistrue truefor forevery every choice of x, choice of x,this this statement statement evaluates evaluatesto totrue. true.

46 The Universal Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x) isistrue truefor forevery every choice of x, choice of x,this this statement statement evaluates evaluatesto totrue. true.

47 The Universal Quantifier x. Smiling(x)

48 The Universal Quantifier x. Smiling(x)

49 The Universal Quantifier x. Smiling(x)

50 The Universal Quantifier x. Smiling(x)

51 The Universal Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x)isis true truefor forthis thischoice choice x,x,this statement this statement evaluates evaluatesto tofalse. false.

52 The Universal Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x)isis true truefor forthis thischoice choice x,x,this statement this statement evaluates evaluatesto tofalse. false.

53 The Universal Quantifier ( x. Smiling(x)) ( y. WearingHat(y))

54 The Universal Quantifier ( x. Smiling(x)) ( y. WearingHat(y))

55 The Universal Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

56 The Universal Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

57 The Universal Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

58 The Universal Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

59 The Universal Quantifier IsIsthis thisoverall overall statement statementtrue trueor or false in this false in this scenario? scenario? ( x. Smiling(x)) ( y. WearingHat(y))

60 The Universal Quantifier IsIsthis thisoverall overall statement statementtrue trueor or false in this false in this scenario? scenario? ( x. Smiling(x)) ( y. WearingHat(y))

61 Some muggles are intelligent.

62 Some muggles are intelligent. m. (Muggle(m) Intelligent(m))

63 Some muggles are intelligent. m. (Muggle(m) Intelligent(m)) isis the the existential existentialquantifier quantifier and and says says for for some some choice choice of of m, m, the the following following isis true. true.

64 The Existential Quantifier A statement of the form x. some-formula is true if, for some choice of x, the statement some-formula is true when that x is plugged into it. Examples: x. (Even(x) Prime(x)) x. (TallerThan(x, me) LighterThan(x, me)) ( x. Appreciates(x, me)) Happy(me)

65 The Existential Quantifier x. Smiling(x)

66 The Existential Quantifier x. Smiling(x)

67 The Existential Quantifier x. Smiling(x)

68 The Existential Quantifier x. Smiling(x)

69 The Existential Quantifier x. Smiling(x)

70 The Existential Quantifier x. Smiling(x)

71 The Existential Quantifier x. Smiling(x)

72 The Existential Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x) isistrue truefor forsome some choice of x, choice of x,this this statement statement evaluates evaluatesto totrue. true.

73 The Existential Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x) isistrue truefor forsome some choice of x, choice of x,this this statement statement evaluates evaluatesto totrue. true.

74 The Existential Quantifier x. Smiling(x)

75 The Existential Quantifier x. Smiling(x)

76 The Existential Quantifier x. Smiling(x)

77 The Existential Quantifier x. Smiling(x)

78 The Existential Quantifier x. Smiling(x)

79 The Existential Quantifier x. Smiling(x)

80 The Existential Quantifier x. Smiling(x)

81 The Existential Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x)isis not nottrue truefor forany any choice of x, this choice of x, this statement statementevaluates evaluates to false. to false.

82 The Existential Quantifier x. Smiling(x) Since SinceSmiling(x) Smiling(x)isis not nottrue truefor forany any choice of x, this choice of x, this statement statementevaluates evaluates to false. to false.

83 The Existential Quantifier ( x. Smiling(x)) ( y. WearingHat(y))

84 The Existential Quantifier ( x. Smiling(x)) ( y. WearingHat(y))

85 The Existential Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

86 The Existential Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

87 The Existential Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

88 The Existential Quantifier IsIsthis thispart partofofthe the statement true statement trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

89 The Existential Quantifier IsIsthis thisoverall overall statement statementtrue trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

90 The Existential Quantifier IsIsthis thisoverall overall statement statementtrue trueor or false? false? ( x. Smiling(x)) ( y. WearingHat(y))

91 Some Technical Details

92 Variables and Quantifiers Each quantifier has two parts: the variable that is introduced, and the statement that's being quantified. The variable introduced is scoped just to the statement being quantified. ( x. Loves(You, x)) ( y. Loves(y, You))

93 Variables and Quantifiers Each quantifier has two parts: the variable that is introduced, and the statement that's being quantified. The variable introduced is scoped just to the statement being quantified. ( x. Loves(You, x)) ( y. Loves(y, You)) The The variable variable xx just just lives lives here. here. The The variable variable yy just just lives lives here. here.

94 Variables and Quantifiers Each quantifier has two parts: the variable that is introduced, and the statement that's being quantified. The variable introduced is scoped just to the statement being quantified. ( x. Loves(You, x)) ( y. Loves(y, You))

95 Variables and Quantifiers Each quantifier has two parts: the variable that is introduced, and the statement that's being quantified. The variable introduced is scoped just to the statement being quantified. ( x. Loves(You, x)) ( x. Loves(x, You))

96 Variables and Quantifiers Each quantifier has two parts: the variable that is introduced, and the statement that's being quantified. The variable introduced is scoped just to the statement being quantified. ( x. Loves(You, x)) ( x. Loves(x, You)) The The variable variable xx just just lives lives here. here. AA different different variable, variable, also also named named x, x, just just lives lives here. here.

97 Operator Precedence (Again) When writing out a formula in first-order logic, the quantifiers and have precedence just below. The statement x. P(x) R(x) Q(x) is parsed like this: ( ( x. P (x) ) R (x) ) Q ( x ) This is syntactically invalid because the variable x is out of scope in the back half of the formula. To ensure that x is properly quantified, explicitly put parentheses around the region you want to quantify: x. (P(x) R(x) Q(x))

98 Time-Out for Announcements!

99 Checkpoints Graded The PS1 checkpoint assignment has been graded. Review your feedback on GradeScope. Contact the staff (via Piazza or by stopping by office hours) if you have any questions. Some notes: Make sure to list your partner through GradeScope. There's a space to list your partner when you submit the assignment. If you forget to do this, they won't get credit for the assignment! Make sure to check your grade ASAP. For the reason listed above, make sure you have a grade recorded. If not, contact the course staff. Plus, that way, you can take our feedback into account when writing up your answers to the rest of the problem set questions. Best of luck on the rest of the problem set!

100 Proofwriting Checklist We ve just released Handout 11, which contains a checklist of five good proofwriting tips. We ll be looking at these five specific points when grading your problem sets. Good idea: Before submitting, reread all of your proofs and make sure that you adhere to the conventions. Already submitted? No worries! You can resubmit and we ll grade the second version.

101 Your Questions

102 Industry or research? PhD or not to PhD? These These are are both both really really good good options options it s it s more more aa matter matter of of what what you re you re interested interested inin working working on on and and what s what s aa better better fit fit for for you. you. Working Working on on aa Ph.D Ph.D gives gives you you aa chance chance to to work work on on aa lot lot of of problems problems you you can t can t typically typically work work on on inin industry. industry. You ll You ll get get aa thorough thorough understanding understanding of of aa particular particular problem problem domain domain and and will will learn learn how how to to work work on on new new problems problems independently. independently. Post-graduation, Post-graduation, you you can can go go into into academia academia (there (there are are aa ton ton of of openings!) openings!) or or industry, industry, and and you ll you ll have have aa lot lot of of flexibility. flexibility. If If you re you re thinking thinking that that you you want want to to do do aa PhD, PhD, I d I d strongly strongly recommend recommend trying trying to to get get involved involved inin research research inin the the CS CS department. department. Keep Keep an an eye eye open open for for CURIS CURIS for for next next year, year, and and feel feel free free to to stop stop by by professors professors office office hours hours to to ask ask them them about about their their work work and and how how to to get get involved. involved. Take Take classes classes outside outside the the CS CS core, core, ifif you you can, can, since since that s that s another another great great way way to to meet meet professors. professors.

103 When have you felt inadequate? I ll I ll take take this this one one inin class class rather rather than than writing writing things things down down for for posterity s posterity s sake, sake, but but the the short short answer answer isis all all the the time. time. As As for for what what should should you you do do about about it?, it?, II don t don t think think there s there s aa one-size-fits one-size-fits all all answer, answer, and and again again I ll I ll take take this this one one inin class. class.

104 What's your favorite game? AA tie tie between between Codenames, Codenames, Bananagrams, Bananagrams, Wise Wise and and Otherwise, Otherwise, and and One One Night Night Werewolf. Werewolf. II love love games games you you can can play play inin aa group group where where you you can can lose lose terribly terribly and and still still have have aa really really good good time. time.

105 Back to CS103!

106 Translating into First-Order Logic

107 Translating Into Logic First-order logic is an excellent tool for manipulating definitions and theorems to learn more about them. Applications: Determining the negation of a complex statement. Figuring out the contrapositive of a tricky implication.

108 Translating Into Logic Translating statements into first-order logic is a lot more difficult than it looks. There are a lot of nuances that come up when translating into first-order logic. We'll cover examples of both good and bad translations into logic so that you can learn what to watch for. We'll also show lots of examples of translations so that you can see the process that goes into it.

109 Using the predicates - Puppy(p), which states that p is a puppy, and - Cute(x), which states that x is cute, write a sentence in first-order logic that means all puppies are cute.

110 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x))

111 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

112 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

113 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

114 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

115 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

116 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

117 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for every every choice choice of of x. x.

118 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for every every choice choice of of x. x.

119 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x))

120 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This first-order first-order statement statement isis false false even even though though the the English English statement statement isis true. true. Therefore, Therefore, itit can't can't be be aa correct correct translation. translation.

121 An Incorrect Translation All puppies are cute! x. (Puppy(x) Cute(x)) The The issue issue here here isis that that this this statement statement asserts asserts that that everything everything isis aa puppy. puppy. That's That's too too strong strong of of aa claim claim to to make. make.

122 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x))

123 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

124 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

125 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

126 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

127 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

128 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

129 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

130 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

131 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

132 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

133 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

134 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

135 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

136 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

137 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

138 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

139 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

140 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

141 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

142 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

143 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

144 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) This This should should work work for for any any choice choice of of x, x, including including things things that that aren't aren't puppies. puppies.

145 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x))

146 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for every every choice choice of of x. x.

147 A Better Translation All puppies are cute! x. (Puppy(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for every every choice choice of of x. x.

148 All P's are Q's translates as x. (P(x) Q(x))

149 Useful Intuition: Universally-quantified statements are true unless there's a counterexample. x. (P(x) Q(x)) If If xx isis aa counterexample, counterexample, itit must must have have property property PP but but not not have have property property Q. Q.

150 Using the predicates - Blobfish(b), which states that b is a blobfish, and - Cute(x), which states that x is cute, write a sentence in first-order logic that means some blobfish is cute.

151 Using the predicates - Blobfish(b), which states that b is a blobfish, and - Cute(x), which states that x is cute, write a sentence in first-order logic that means some blobfish is cute.

152 Using the predicates - Blobfish(b), which states that b is a blobfish, and - Cute(x), which states that x is cute, write a sentence in first-order logic that means some blobfish is cute.

153 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

154 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

155 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

156 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

157 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

158 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

159 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for at at least least one one choice choice of of x. x.

160 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for at at least least one one choice choice of of x. x.

161 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

162 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x)) This This first-order first-order statement statement isis true true even even though though the the English English statement statement isis false. false. Therefore, Therefore, itit can't can't be be aa correct correct translation. translation.

163 An Incorrect Translation Some blobfish is cute. x. (Blobfish(x) Cute(x)) The The issue issue here here isis that that implications implications are are true true whenever whenever the the antecedent antecedent isis false. false. This This statement statement accidentally accidentally isis true true because because of of what what happens happens when when xx isn't isn't aa blobfish. blobfish.

164 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

165 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

166 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

167 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

168 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

169 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

170 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

171 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

172 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

173 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

174 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

175 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

176 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

177 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

178 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

179 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

180 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

181 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

182 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

183 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

184 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x))

185 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for at at least least one one choice choice of of x. x.

186 A Correct Translation Some blobfish is cute. x. (Blobfish(x) Cute(x)) AA statement statement of of the the form form x. x. something something isis true true only only when when something something isis true true for for at at least least one one choice choice of of x. x.

187 Some P is a Q translates as x. (P(x) Q(x))

188 Useful Intuition: Existentially-quantified statements are false unless there's a positive example. x. (P(x) Q(x)) If If xx isis an an example, example, itit must must have have property property PP on on top top of of property property Q. Q.

189 Good Pairings The quantifier usually is paired with. x. (P(x) Q(x)) The quantifier usually is paired with. x. (P(x) Q(x)) In the case of, the connective prevents the statement from being false when speaking about some object you don't care about. In the case of, the connective prevents the statement from being true when speaking about some object you don't care about.

190 Next Time First-Order Translations Quantifier Orderings How do you select the order of quantifiers in first-order logic formulas? Negating Formulas How do we translate from English into first-order logic? How do you mechanically determine the negation of a firstorder formula? Expressing Uniqueness How do we say there s just one object of a certain type?