Recent content by strifex

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...