Combining Texts

Ideas for 'Sweet Dreams', 'Modal Logics and Philosophy' and 'Speeches in Elberfeld'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / H. Proof Systems / 5. Tableau Proof

7790	If an argument is invalid, a truth tree will indicate a counter-example [Girle]
	Full Idea: The truth trees method for establishing the validity of arguments and formulas is easy to use, and has the advantage that if an argument or formula is not valid, then a counter-example can be retrieved from the tree.
	From: Rod Girle (Modal Logics and Philosophy [2000], 1.4)