back to ideas for this text

---

Single Idea 13762

[from 'Intermediate Logic' by David Bostock, in 5. Theory of Logic / H. Proof Systems / 5. Tableau Proof ]

Full Idea

In their original setting, all the tableau rules are elimination rules, allowing us to replace a longer formula by its shorter components.

Gist of Idea

Tableau rules are all elimination rules, gradually shortening formulae

Source

David Bostock (Intermediate Logic [1997], 7.3)

Book Reference

Bostock,David: 'Intermediate Logic' [OUP 1997], p.285

---