Hi folks. Long-time lurker, first-time poster. Anyways, my question regards the legitimacy of a contradiction-contrapositive hybrid method of proving.(adsbygoogle = window.adsbygoogle || []).push({});

Let's say we need to prove P implies Q. Contradiction says: If P implies Q_not leads to a contradiction, then we are done. Contrapositive says: If Q_not implies P_not, then we are done.

So a Contradiction-Contrapositive hybrid consists of first applying contradition, and then applying contrapositive. For example: To prove P implies Q by contradiction, we need to show P implies Q_not leads to a contradiction. But if we can also show that P_not implies Q leads to a contradiction, then are we done?

Is this method of proving legit?

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

Join Physics Forums Today!

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

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

# Contradiction-Contrapositive hybrid

Loading...

Similar Threads - Contradiction Contrapositive hybrid | Date |
---|---|

I Contradiction vs contraposition | Sep 21, 2017 |

I Contradiction in an absolute value property? | Apr 10, 2017 |

A Circular reasoning and proof by Contradiction | Sep 29, 2016 |

I Proof by contradiction | Sep 17, 2016 |

I Can you make the induction step by contradiction? | Jun 19, 2016 |

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