eolas/neuron/7d6ebca6-4ae5-4451-bb1d-beee6c92ebad/Reiteration.md
2024-11-17 12:01:24 +00:00

14 lines
388 B
Markdown

---
tags:
- logic
- propositional-logic
---
# Reiteration
**Reiteration (R)** allows us to restate any proposition already in the proof
within the main proof or a more deeply nested sub-proof. Reiteration allows us
to reuse any assumptions, or propositions derived from assumptions, without
having to introduce a new dependency with another assumption.
![](static/reiteration.png)