(12 points) Problem 2.3.2 Suppose that for any unary predicate P on a particular type T...

Transcribed Image Text:

(12 points) Problem 2.3.2 Suppose that for any unary predicate P on a particular type T , you know that the proposition (3x : P(x)) (Vx: P(x)) is true. What does this tell you about T? Justify your answer state a property of T and explain why this proposition is always true if T has your property, and not always true if T does not have your property. (12 points) Problem 2.3.2 Suppose that for any unary predicate P on a particular type T , you know that the proposition (3x : P(x)) (Vx: P(x)) is true. What does this tell you about T? Justify your answer state a property of T and explain why this proposition is always true if T has your property, and not always true if T does not have your property.

Answer rating: 100% (QA)

The proposition x Px x Px states that for any unary predicate P on a particular type T either there ... View the full answer