1. Prove that these two formulations of Goldbach’s conjecture are logically equivalent. 2. Rewrite Goldbach’s conjecture without using isPrime—that is, using only quantifiers, the | predicate, and...

1. Prove that these two formulations of Goldbach’s conjecture are logically equivalent.

2. Rewrite Goldbach’s conjecture without using isPrime—that is, using only quantifiers, the | predicate, and standard arithmetic (+, , ≥, etc.).)