lect16 - INTRO LOGIC DAY 16 Translations in PL 2 1 Overview...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
1 1 INTRO LOGIC DAY 16 Translations in PL 2 2 Overview Exam 1: Sentential Logic Translations (+) Exam 2: Sentential Logic Derivations Exam 3: Predicate Logic Translations Exam 4: Predicate Logic Derivations Exam 5: (finals week) very similar to Exam 3 Exam 6: (finals week) very similar to Exam 4 9 9 + + + + When computing your final grade, I count your four highest scores. (A missed exam counts as a zero.) ¹ Thursday Dec 15 8:00 a.m. Mahar Auditorium
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 3 REVIEW of DAY 1 4 Un-Quantified Sentences neither Jay nor Kay is short both Jay and Kay are tall Jay is taller than Kay Kay is tall Jay respects both Kay and Elle R jk je \ S j \ S k T j k T jk T k
Background image of page 2
3 5 Existential Quantifier Hx ± x formula xis happy there is some x : pronoun Ê variable who is happy there is someone paraphrase is happy someone original sentence 6 Universal Quantifier Hx ± x formula xis happy no matter who x is pronoun Ê variable you are happy no matter who you are paraphrase is happy everyone original sentence
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
4 7 Existential + Negation \ Hx ± x formula xis nothappy there is some x : pronoun Ê variable who is not happy there is someone paraphrase is not happy someone original sentence 8 Universal + Negation everyone is not happy is AMBIGUOUS everyone is UNhappy NOT everyone is happy versus
Background image of page 4
5 9 Universal-Negative \ Hx ± x formula xis nothappy no matter who x is pronoun Ê variable you are unhappy no matter who you are paraphrase is unhappy everyone original sentence 10 Negative-Universal Hx \ ± x formula xis happy not: no matter who x is pronoun Ê variable you are happy not: no matter who you are paraphrase is happy not everyone original sentence
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 18

lect16 - INTRO LOGIC DAY 16 Translations in PL 2 1 Overview...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online