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 this, see Exercises for Easy Deriver using the Deriver Web Application [Gentzen] . Or, more directly, Deriver20 [Gentzen]. Good advice is: start these tutorials without 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 from URL... with this address https://softoption.us/test/easyDeriver/CombinedExercisesEasyDGentzen.html .