Can somebody please explain the negation elimination rule in natural deduction to me? I've read a few explanations and none of them make any sense whatsoever. Nor do I understand how you can (or why you would want to) be able to infer anything from a contradiction.(adsbygoogle = window.adsbygoogle || []).push({});

Thanks.

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

# Negation elimination rule in natural deduction

Loading...

Similar Threads for Negation elimination rule | Date |
---|---|

I Negating the uniqueness quantifier | Jan 25, 2018 |

A P vs NP Guessing and process of elimination | Jun 1, 2017 |

Does negating a set change it symbolically? | Feb 25, 2016 |

Proofs involving Negations and Conditionals | Feb 11, 2016 |

Negation for proposition | Jan 17, 2016 |

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