~(P<->Q) ⊣ ⊢ (P<->~Q)(adsbygoogle = window.adsbygoogle || []).push({});

I'm suppose to write the proof for this equivalence but I can't figure it in either direction

The closest I got was (P->~Q) from ~(P<->Q) but I can't figure anything else out

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

# Stumped on a logical equivalence proof

Tags:

Loading...

Similar Threads - Stumped logical equivalence | Date |
---|---|

B Conditional Probability, Independence, and Dependence | Dec 29, 2017 |

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

Is my Handout wrong? Stumped Conditional Probability | Sep 20, 2009 |

Stumped on 2 easy function problems! | May 3, 2008 |

Stumped on a deduction problem | Mar 1, 2005 |

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