# lect17 - INTRO LOGIC DAY 17 Translations in PL 3 1 Overview...

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

1 1 INTRO LOGIC DAY 17 Translations in PL 3 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 and DAY 2 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 xis happy there is some x : who is happy there is someone is happy someone 6 Existential-Negative Quantifier \ Hx ± x xis no thappy there is some x : who is not happy

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

View Full Document
4 7 Universal Quantifier Hx ± x xis happy no matter who x is you are happy no matter who you are is happy everyone 8 Universal-Negative Quantifier \ Hx ± x xis no thappy no matter who x is you are not happy
5 9 Negative-Existential Quantifier Hx \ ± x xis happy there is no x : who is happy there is no one is happy no one 10 Negative-Universal Quantifier Hx \ ± x xis happy not: no matter who x is you are happy not: no matter who you are

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 / 17

lect17 - INTRO LOGIC DAY 17 Translations in PL 3 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