eolas/neuron/4b848157-992a-4aaf-9f84-ac12ec2edc55/Negation_Introduction.md
2024-10-19 12:00:05 +01:00

15 lines
430 B
Markdown

---
tags:
- logic
- propositional-logic
---
# Negation Introduction
This is also known as _proof by contradiction_. You start with an assumption
declared in a sub-proof. If you can derive a contradiction from this assumption
(typically from the introduction of another proposition and its negation), then
you are permitted to derive the negation of the auxiliary assumption in the main
proof.
![](/static/negate-intro.png)