This is a question about generalizations of the twin primes conjecture.
I would likelike to know a counterexample, or a proofproof, forfor the following cpuple orfollowing couple of related arithmeticalarithmetical sentences:. The first is
$(\forall p)(\exists n)(\exists q)( Prime(p) \wedge Prime (q) \wedge (p = 2^n + q))$$(\forall p) Prime(p) \Rightarrow (\exists n)(\exists q)(Prime (q) \wedge (p = 2^n + q))$
In informal wordsMore informally, everyif $p$ is prime number, then $p$ cancan be written aswritten as the sum of a smaller primeprime $q$ and a power of twoa power of $2$. The second is
$(\forall q)(\exists n)(\exists p) ( Prime(p) \wedge Prime (q) \wedge (p = 2^n + q))$$(\forall q) Prime(q) \Rightarrow (\exists n)(\exists p) (Prime(p) \wedge (p = 2^n + q))$
In informal wordsMore informally, for every prime numberif $q$ thereis prime, then there exists a number $n$ such that the sum of $q$ and the $n$-th power of twoof $2$ is a prime number.