Tutorial 11: Sketch of the second part of the course, and symbolizing sentences using predicate logic.

6/14/07 10 Software

Skills to be acquired in this tutorial:

To start learning how to symbolize sentences using predicate logic.

Reading

Bergmann[2008] The Logic Book Sections 7.1-7.3

The Tutorial:

To symbolize at predicate logic level, entities like Beryl are symbolized by constant terms which are lower case letters from the beginning of the alphabet ('b' would be fine for Beryl) and properties are symbolized by upper case letters ('W' would be fine for '..is wise'); and the two are put together by writing the property first followed by the individual it applies to. The result, using the conventions mentioned here, is

Beryl is wise

would be symbolized by

Wb

Exercises to accompany Predicate Tutorial 1

It is usual to analyse an argument using only sentential logic or only predicate logic-- you do not mix up the two levels on one argument. We now move on to predicate logic...

Exercise 1 (of 4):

Symbolization Applet

Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.

Exercise 2 (of 4):

Symbolization Applet

Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.

Exercise 3 (of 4):

Symbolization Applet

Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.

Exercise 4 (of 4):

Symbolization Applet

Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.