0
$\begingroup$

This problem concerns the Peano Arthmetic. Px denotes: “x is prime”; that is: Show that

a) ∀x∀y [(Px ∧ Py ∧ x|y) --> x=y]

b) ∀x∀y∀z∀u∀v[Px ∧ Py ∧ Pz ∧ Pu ∧ Pu)-> x∙y∙z≠∙u∙v].

I am really clueless on how to solve both of these. Any help/hint will be appreciated thank u.

  • 6
    Do you understand the statements in plain english? By this I mean, can you write these statements down in english?2012-12-04
  • 0
    As stated above, Px means x is prime2012-12-04
  • 0
    These are fairly straightforward theorems in ordinary arithmetic, but if you want formal Hilbert-style proofs, you should say so. (I doubt anyone will actually give you one though... it's just too tedious.)2012-12-05

1 Answers 1