[itex]\exists{x}(P(x)\Rightarrow{Q(x)})\equiv{\forall{x}P(x)\Rightarrow{\exists{x}Q(x)}}[/itex](adsbygoogle = window.adsbygoogle || []).push({});

I am able to derive this equivalence by using the standard equivalences of symbolic logic, but when I try to verify this semantically, with an example, I just can't see why these two expressions are equivalent.

Example:

Lets say that x represents days, P(x) represents it's cold on day x, and Q(x) represents it is snowing on day x. If it is true that it is cold every day, and it is true that there is a snowy day, why must it be true that there is a day when, if it is cold, than snow MUST fall?

**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!

# Difficulty understanding a logical equivalence

Loading...

Similar Threads - Difficulty understanding logical | Date |
---|---|

I Difficulty with distribution functions | Sep 17, 2016 |

Difficulty understanding ∫ P(X).X^2 dx = <X^2> ? | Oct 13, 2015 |

Difficulty creating a response surface | Oct 17, 2013 |

Difficulty with summation of non-central chi-squared random variables | Oct 16, 2013 |

Difficulty finding integral answer to set function | Dec 13, 2011 |

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