(∀X)[Px ⊃ (∃Y)Rxy] ⊃ [(∀X)(∀y)∼Rxy ⊃ ∼(∃X)Px]

question 139

Multiple Choice

(∀x) [Px ⊃ (∃y) Rxy] ⊃ [(∀x) (∀y) ∼Rxy ⊃ ∼(∃x) Px]
-Consider assuming '(∀x) [Px ⊃ (∃y) Rxy]' for a conditional proof of the above logical truth. Which of the
Following propositions is a legitimate second step in that proof?

• A) Assume '~(∃x)Px' for a nested conditional proof.
• B) Assume '(∀x)(∀y)∼Rxy' for a nested conditional proof.
• C) Assume '~(∀x)(∀y)~Rxy' for a nested indirect proof.
• D) Px ⊃ (∃y)Ryy
• E) Py ⊃ (∃y)Ryy

---

Definitions:

Repression

A defense mechanism where unwanted thoughts and feelings are unconsciously excluded from consciousness.

Contemporary

Belonging to or occurring in the present or recent times, often used to describe current trends or ideas.

Memory Researchers

Individuals or scientists dedicated to studying how memory works, including how information is encoded, stored, and retrieved.

Rarely

Occurring not often or infrequently.