Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
∀x∀y∀z(Rx y → (Ryz → P x z)), Rab, Rbc ⊢ ∃x∃y(Rx y ∧ ∃zP x z) I want to show that ∀x∀y∀z(Rx y → (Ryz → Pxz)), Rab, Rbc ⊢ ∃x∃y(Rx y ∧ ∃zPxz). ∀x∀y∀z(Rx y → (Ryz → P x z
Add to Reading List
Document Date: 2015-09-03 07:54:08
Open Document
File Size: 188,48 KB
Share Result on Facebook
∀x∀y∀z(Rx y → (Ryz → P x z)), Rab, Rbc ⊢ ∃x∃y(Rx y ∧ ∃zP x z) I want to show that ∀x∀y∀z(Rx y → (Ryz → Pxz)), Rab, Rbc ⊢ ∃x∃y(Rx y ∧ ∃zPxz). ∀x∀y∀z(Rx y → (Ryz → P x z