Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- | Pd ⟷ (Hj & Mj)
- | Gsd
- | ∀x∀y∃z(((Gxy & (Py ➝ Pz)) & Rxyz) ➝ Gxz)
- | Pe ⟷ ∀x(Hx ➝ Mx)
- | Rsde
- |-
- | ∀y∃z(((Gsy & (Py ➝ Pz)) & Rsyz) ➝ Gsz)
- | ∃z(((Gsd & (Pd ➝ Pz)) & Rsdz) ➝ Gsz)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement