Text - Graeme Forbes, Modern Logic (Oxford: Oxford University Press, 1994) Ch5 (

Question

Text - Graeme Forbes, Modern Logic (Oxford: Oxford University Press, 1994) Ch5 (symbols in text)

1) Pick the correct translation of the following:

i) Which is the correction LMPL translation of these English sentences?
Whales are mammals.

(x)(Wx & Mx)

(x)(Wx (y)My)

(x)(Wx Mx)

ii) Which is the correction LMPL translation of these English sentences?
Every inflationary economy is faltering.

(x)(Ex Fx)

(x)((Ix & Ex) Fx)

(x)((I & E) Fx)

iii) Which is the correction LMPL translation of these English sentences?

If a woman is elected, then someone will be happy.

(x)(Wx & Ex) (x)Hx

(x)((Wx & Ex) Hx)

(x)(Wx & Ex) & Hx)

Iv) Which is the correction LMPL translation of these English sentences?

All donkeys are stubborn.

A) (x)(Dx Sx)

(x)(Dx Sx)

(x)(Dx & Sx)

V)Which is the correction LMPL translation of these English sentences?

All that glitters is not gold. (G (glitter), D (gold))

A) ~ (x)(Gx & ~ Dx)

B) ~ (x)(Gx Dx)

(x)(Gx Dx)

(x)(Wx & Mx)

(x)(Wx (y)My)

(x)(Wx Mx)

Explanation / Answer

I) Whales are mammals

(x)(Wx Mx)

II) Every inflationary economy is faltering

(x)((Ix & Ex) Fx)

III) If a woman is elected, then someone will be happy.

(x)(Wx & Ex) (x)Hx

IV) All donkeys are stubborn

(x)(Dx Sx)

V) All that glitters is not gold

~ (x)(Gx Dx)

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.