2013
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):
Exercise 2 (of 3):
Exercise 3 (of 3):
Should you wish to use the Deriver application for the exercises, see Exercises for Easy Deriver using the Deriver Web Application [Bergmann] . Good advice is: start these tutorials without out it, but if you get to the point of wishing to save some work then switch to the Deriver Web Application.
Then... either copy and paste the above formulas into the Journal or use the Deriver File Menu to Open Web Page with this address https://softoption.us/test/easyDeriver/CombinedExercisesEasyDBergmann.html .