How do I notate a proposition with multiple conditions?

Question

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)]

score 0 · Accepted Answer · answered Feb 09 '15 at 22:55

0

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

answered Feb 09 '15 at 22:55

barak manos

This proposition is false, BTW (in case you were thinking otherwise). – barak manos Feb 09 '15 at 22:57
Thanks for the answer. Yes, I know it's false. :) – x3nr0s Feb 09 '15 at 22:59
@Xenidious: You're welcome. Feel free to accept it by clicking on the V next to it :) – barak manos Feb 10 '15 at 07:01

1 Answers1