How do I notate a proposition with multiple conditions?

39 Views Asked by At

Lets's say I have the predicates:

F(x) means x is even
G(x) means x is a prime number

and we take the universe of discourse to be the set of natural numbers N = {1,2,3,...}

How do I notate a proposition such as: "Every number that is a prime number is even"

Would the following be correct? ∀G(x)∃N[F(x)]

1

There are 1 best solutions below

3
On BEST ANSWER

$$\forall{x\in\mathbb{N}}:{G(x)}\implies{F(x)}$$