**PHILOSOPHY - LOGIC** PL Validity 49. Prove the validity of the following abstract argument: ∀x∀y (xRy → yRx), ¬∀x∀y ¬x
Posted: Tue Apr 26, 2022 7:32 pm
**PHILOSOPHY - LOGIC**
PL Validity
49. Prove the validity of the following abstract argument:
∀x∀y (xRy → yRx), ¬∀x∀y ¬xRy ∴ ∃x∃y (xRy & yRx)
PL Validity
49. Prove the validity of the following abstract argument:
∀x∀y (xRy → yRx), ¬∀x∀y ¬xRy ∴ ∃x∃y (xRy & yRx)