Answer to Question #271868 in Discrete Mathematics for afifah

Question

Use a predicates and quantifiers to express this statement. There is a man who has visited some park in every state of malaysia

Answer 1

Let P(x, y) be "x visited y", Q(x, y) be "x belong to y", T(x, y) be "x is a state of y", then this statement could be written as

$\exist x\in X\forall y\isin Y\exists z\isin Z:(T(y, Malaysia)\land Q(z, y))\implies P(x,z)$ , where X is the set of all men, Y is the set of all states, Z is the set of all parks.