Single Idea 13762

[catalogued under 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