Homework_8_KEY

Homework_8_KEY - Philosophy 211: Homework 8 KEY 1. Using...

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

View Full Document Right Arrow Icon
Philosophy 211: Homework 8 KEY 1. Using the following key, translate the following statements from English into PL. [20 pts.] UD: {Doctor Who} Tx: x is a Time Lord Ex: x is from Earth Gx: x is from Gallifrey Axy: x is an assistant of y r: Rose d: The Doctor 1. Not everyone is an assistant of someone ~( 2200 x)( 5 y)Axy 2. No Earthling Time Lords are assistants of some Time Lords who assist The Doctor [translate with both negated existential and universal quantifier as main logical operator] Two versions with universal quant. as MLO: ( x)[ (Ex & Tx) ~( ( x)[ (Ex & Tx) ( y)((Ty & Ayd) ~Axy)] And with negated existential quant (the grouping of the predicates is arbitrary): ~( x)( 3. All Gallifreyan Time Lords are assistants of all Earthling Time Lords who Rose is not an assistant of ( x)( y)[((Gx & Tx) & ((Ey & Ty) & ~Ary)) Axy] ( x)[ (Gx & Tx) ~( 2. Use the following interpretation to determine the truth-values of the following statements.
Background image of page 1

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

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

This document was uploaded on 11/03/2009.

Page1 / 3

Homework_8_KEY - Philosophy 211: Homework 8 KEY 1. Using...

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

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