Single Idea 13757

[catalogued under 5. Theory of Logic / H. Proof Systems / 5. Tableau Proof]

Full Idea

With semantic tableaux there are recipes for proof-construction that we can operate, whereas with natural deduction there are not.

Gist of Idea

Unlike natural deduction, semantic tableaux have recipes for proving things

Source

David Bostock (Intermediate Logic [1997], 6.5)

Book Reference

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


Related Idea

Idea 13758 In natural deduction we work from the premisses and the conclusion, hoping to meet in the middle [Bostock]