lect17 - INTRO LOGIC DAY 17 Translations in PL 3 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 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
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 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
Background image of page 2
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
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 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
Background image of page 4
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
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 / 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 Right Arrow Icon
Ask a homework question - tutors are online