Twin primes are pairs of numbers p and p+2 such that both are primes-for instance, 5 and 7, 11 and 13, 41 and 43. The Twin Prime Conjecture says that there are infinitely many twin primes. Let TwinPrime(n) be a predicate that is true if n and n+2 are twin primes. Which of the ... TwinPrime(n)) ∃m. ∀n. n ≤ m implies TwinPrime(n) ∃m. ∀n. TwinPrime(n) implies n ≤ m ∀m. ∃n. n ≤ m and TwinPrime(n)

answered
Dec 29, 2018
in Mathematical Logic
138 views