Consider the following statements: Vy S, 3x ET, P(y) Q(x) (Vy S, P(y))(x = T,Q(x)) (6)...

 

Transcribed Image Text:

Consider the following statements: Vy S, 3x ET, P(y) Q(x) (Vy S, P(y))(x = T,Q(x)) (6) (7) (a) Is it possible to provide non-empty sets S, T and predicates P,Q for which statement (6) is false and statement (7) is true? If this is possible, describe the sets and predicates, and briefly justify your response; if it is not possible, give a brief explanation why not. No formal proof is necessary. (b) Is it possible to provide non-empty sets S,T and predicates P, Q for which statement (6) is true and statement (7) is false? If this is possible, describe the sets and predicates, and briefly justify your response; if it is not possible, give a brief explanation why not. No formal proof is necessary. Consider the following statements: Vy S, 3x ET, P(y) Q(x) (Vy S, P(y))(x = T,Q(x)) (6) (7) (a) Is it possible to provide non-empty sets S, T and predicates P,Q for which statement (6) is false and statement (7) is true? If this is possible, describe the sets and predicates, and briefly justify your response; if it is not possible, give a brief explanation why not. No formal proof is necessary. (b) Is it possible to provide non-empty sets S,T and predicates P, Q for which statement (6) is true and statement (7) is false? If this is possible, describe the sets and predicates, and briefly justify your response; if it is not possible, give a brief explanation why not. No formal proof is necessary.

Answer rating: 100% (QA)

a It is possible to provide nonempty sets S T and predicates P Q for which statement 6 is false ... View the full answer