Hi everyone,(adsbygoogle = window.adsbygoogle || []).push({});

I was thinking about logic and proofs and I concluded that "proving the negation of the converse of an implication to be true" proves "the implication to be true". But strangely I can't find any information about this proof method, so I doubt if I am correct.

Just to be clear, here is an example:

Implication: "I am human" implies that "I am an animal".

Negation of the converse: "I am an animal" does not imply that "I am human".

So, is my reasoning flawed here?

**Physics Forums | Science Articles, Homework Help, Discussion**

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

# Proof: show that negation of converse is true?

Loading...

Similar Threads for Proof show negation |
---|

I Proof that BB(k) grows faster than any computable function |

I An easy proof of Gödel's first incompleteness theorem? |

I Negating the uniqueness quantifier |

I Cantor's decimal proof that (0,1) is uncountable |

**Physics Forums | Science Articles, Homework Help, Discussion**