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

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

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

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

View Full Document
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
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

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

View Full Document
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
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

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 02/04/2012 for the course PHIL 110 taught by Professor Bohn during the Fall '08 term at UMass (Amherst).

### 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
Ask a homework question - tutors are online