Translations and Derivations in Quantificational Logic: Predicate Logic Assignment, NUS,, Singapore

Test 2: Translations and Derivations in Quantificational Logic

Part A: Use the following translation key to translate the below sentences.

UD: People
Rxy: x resents y
Gx: x is Greek
Fx: x is Finnish

(a) There is a Greek who resents some Greek.

(b) Only Finns resent themselves.

(c) All Greeks resent someGreeks.

(d) Only Finns resent only Greeks

Part B: Do the following derivations.