Tutorial 12: Symbolizing sentences using predicate logic (continued)

Logical System
bergmann

10 Software

In predicate logic, many different styles of expression in English get cast into the same 'property-is-had-by-entity' form. For example,

Beryl is wise. (ie adjective)
Beryl runs. (ie verb)
Beryl is a philosopher. (ie noun)

might be symbolized Wb, Rb, and Pb, respectively.

Exercises to accompany Predicate Tutorial 2

Exercise 1 (of 3):

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 3):

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 3):

Symbolization Applet


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