Let sx be the statement x is a student lx be x lives

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: tements without using quantifiers: (a) xP (x) (b) x (x = 1 P (x)) (c) x (x = 1 P (x)) 4. Let S(x) be the statement "x is a student," L(x) be "x lives in Germany" G(x) be "x speaks German." Translate each of the following into English or into logic symbols as appropriate. The domain is the set of all people. (a) (b) (c) (d) (e) (f) (g) x (L(x) S(x)) x(L(x) S(x) G(x)) x(S(x) L(x) G(x)) There is a German speaking student Not all speakers of German live in Germany The only German residents who don't speak German are students Some students live in Germany, but some don't. 5. Determine whether each of the following pairs of sentences are equivalent. If so, explain why. If not, give an example of predicates and domains where they differ. (a) x(P (x) Q(x)); xP (x) xQ(x) (b) x(P (x) Q(x)); xP (x) xQ(x) (c) x(P (x) Q(x)); xP (x) xQ(x)...
View Full Document

This note was uploaded on 02/06/2012 for the course MATHEMATIC 55 taught by Professor Robbayer during the Summer '09 term at Berkeley.

Ask a homework question - tutors are online