eolas/neuron/23e0f0eb-f9c9-467a-86da-ba26a6fd9b56/Reiteration.md
2025-01-21 17:10:11 +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)