predicate

2/3/08 10 Software The Widget for this has yet to be written.

However, the Tree Quiz can be done in the web application.

You might want to glance at Deriver in a web page Then you can launch Deriver from here Deriver20 [Howson Parser].  

Preferences

You will need the relevant Preferences for this.

9/16/08 10 Software

Reading

Richard Jeffrey, [1967-2006] Formal Logic: its Scope and Limits

8/12/26

Skills to be acquired in this tutorial:

To become familiar with the new rules for predicate logic trees.

Reading

Colin Howson, [1997] Logic with trees Chapter 6

Tutorial:

Introduction

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.