2/3/08 10 Software The Widget for this has yet to be written. 2013
Quiz 2 Applet
Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.
-->
9/16/08 10 Software
Richard Jeffrey, [1967-2006] Formal Logic: its Scope and Limits
2013
To become familiar with the new rules for predicate logic trees.
Colin Howson, [1997] Logic with trees Chapter 6
There are further rules for predicate logic trees (which we will come to shortly).
Welcome!
These web pages provide an introduction to logic to the level of Propositional and Predicate Calculus.
The focus of the program is on arguments and the question of whether they are valid. Arguments have the form <list of premises> ∴<conclusion>. An argument is valid if and only if it is not possible for all its premises to be true and its conclusion false at one and the same time; an argument which is not valid is invalid.