I was referring to the "is even" notation. So, I've seen some write it as such:
∀x∈ℤ, x is even,∀y∈ℤ, y is even, x = 2y.
But I'm still not clear how to write "is even" symbolically.
I see. So I need to make it to where, for example, if x =2 and y = 1, the result would be false? Also, the notation you mention at the end your first comment was a bit confusing, can you please clarify?
Thank you for taking the time to help me! I'm still a bit confused though. The original statement states that x is an EVEN integer and y is another EVEN integer, but your examples use y =1. If you put set y to 1, then it the first part of my formula is false. I set E(x) = x is even. So for the...
Hello! I'm just starting out on this logic train and I'm not sure I'm grasping it correctly. I took a statement and attempted to convert it into the symbols below.
∀x∈ℤ,∃y∈ℤ,(E(x)∧E(y)) → x = 2y
The original phrase is:
Any even integer is equal to twice some other event integer.
Which I...