This problem doesn't make sense to me. Here it is:(adsbygoogle = window.adsbygoogle || []).push({});

Let P(x,y) denote the sentence 2x +y = 1

What is the truth value of ∃x∃xP(x,y) where the domain of x, y is the set of all integers.

Doesn't one of the variables need to be a y in ∃x∃xP(x,y)? In other words shouldn't the proposition be ∃x∃yP(x,y) or something similar?

Could this simply be a typo?

Thanks for any suggestions.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Truth Values of Nested Qualifiers

Loading...

Similar Threads for Truth Values Nested | Date |
---|---|

B Empty domains and the vacuous truth | Dec 26, 2017 |

I The truth value of ##P(x)## → ##Q(x)## | Aug 30, 2017 |

Truth table with Xor and T | Nov 11, 2015 |

Conditional Statments and Truth Value | Oct 11, 2015 |

Truth value of for all x in {} and there exist x in {} | Sep 12, 2005 |

**Physics Forums - The Fusion of Science and Community**