adplus-dvertising
frame-decoration

Question

Let (A, ≤) be a partial order with two minimal elements a, b and a maximum element c. Let P:A –> {True, False} be a predicate defined on A. Suppose that P(a) = True, P(b) = False and P(a) ⇒ P(b) for all satisfying a ≤ b, where ⇒ stands for logical implication. Which of the following statements cannot be true?

a.

P(x) = True for all x S such that x ≠ b

b.

P(x) = False for all x ∈ S such that b ≤ x and x ≠ c

c.

P(x) = False for all x ∈ S such that x ≠ a and x ≠ c

d.

P(x) = False for all x ∈ S such that a ≤ x and b ≤ x

Answer: (d).P(x) = False for all x ∈ S such that a ≤ x and b ≤ x

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

Q. Let (A, ≤) be a partial order with two minimal elements a, b and a maximum element c. Let P:A –> {True, False} be a predicate defined on A. Suppose that P(a) = True, P(b) = False...