Combining Texts

Ideas for 'fragments/reports', 'Identity, Ostension, and Hypostasis' and 'Modal Logics and Philosophy'

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)