Given the
proposition ( ∃ x : A, PP x) → ( ∀ y : A, PP y → QQ y) → ∃ z : A , QQ z What does the proposition states?

Question

Given the
proposition ( ∃  x : A, PP x)  →  ( ∀  y : A, PP y  →  QQ y)  →   ∃  z : A , QQ z  What does the proposition states?

Accepted Answer

If there is a clever
student and all clever students are funny then there is a funny student.

Answer

If there is a clever
student and all clever students are funny then all students are funny.

Answer

If there is a clever
student and all clever students are funny then all students are clever.

Answer

If there is a clever
student and all clever students are funny then there is a clever student.

Crowdly