∃y∀x Rx y ⊢ ∀x∃yRx y We want to show that ∃y∀xRx y ⊢ ∀x∃yRx y. ∃y∀x Rx y ⊢ ∀x∃yRx y

First Page		Document Content
Date: 2015-09-03 07:54:06		∃y∀x Rx y ⊢ ∀x∃yRx y We want to show that ∃y∀xRx y ⊢ ∀x∃yRx y. ∃y∀x Rx y ⊢ ∀x∃yRx y Add to Reading List Source URL: logicmanual.philosophy.ox.ac.uk Download Document from Source Website File Size: 163,46 KB Share Document on Facebook