Tutorial 12 Symbolizing propositions using predicate logic(continued): Alternative exercises.

You should now Launch Deriver and do the 3 exercises of Predicate Exercise 2 (Predex2).

Exercises to accompany Predicate Tutorial 2

Make sure Predicate Level is chosen under the Semantics Menu (the program can analyse at either level, but it needs to know what you want to do).

Exercise 1 (of 3):

The program knows of the aforementioned three names.

The program knows of two nouns and has itself adopted the following conventions regarding them

The noun 'nincompoop' is symbolized by 'N'.
The noun 'philosopher' is symbolized by 'P'.

Form a view as to how the program will symbolize the following propositions, then ask it to do so by selecting the proposition and choosing To symbols. When you have symbolized the propositions, ask the program to translate them back by selecting each symbol and choosing To English.

Symbolize

a) If Arthur is a nincompoop then Charles is a philosopher.

b) Beryl is a philosopher or Charles is a philosopher.

c) Arthur is a philosopher and a nincompoop.

d) Charles is neither a philosopher nor a nincompoop.

Exercise 2 (of 3):

In this exercise you must choose how you are going to symbolize the nouns. Tell the program how you are going to do it by selecting

remember noun (<english in here>) <capital in here>

and choosing Do Command.

Then ask the machine to translate back and forward for you.

First tell of your conventions

remember noun (patriot) <capital-here>

remember noun (Quaker) <capital-here>

then symbolize

a) Charles is a Quaker.

b) If Arthur is a patriot then Beryl is a Quaker.

Exercise 3 (of 3):

The program uses the following conventions

a = ARTHUR
b = BERYL
c = CHARLES

Sx = STUDIES
Tx = THINKS

Ax = ANGRY
Bx = BOLD
Cx = CHEERFUL

Nx = NINCOMPOOP
Px = PHILOSOPHER

Form a view as to how the program will symbolize the following propositions, then ask it to do so by selecting the proposition and choosing To symbols. When you have symbolized the propositions, ask the program to translate them back by selecting each symbol and choosing To English.

Symbolize :

a) Arthur is a nincompoop.
b) Arthur is a cheerful nincompoop.
c) Arthur is a cheerful angry nincompoop.
d) Arthur is a nincompoop that studies.
e) Arthur is a cheerful nincompoop that studies and thinks.

Easy Deriver Documentation ©1991-2008 Martin Frické, SoftOption™ Ltd (NZ). Easy Deriver is formed out of Deriver(Generic) Program Units. Deriver(Generic) Program Units ©1987-2008 Martin Frické, SoftOption™ Ltd (NZ). Licenced to SoftOption™ Ltd (NZ).

Should you find any bugs in Easy Deriver, please tell us about them.  (Try to reproduce them, then note their exact symptoms. Send the information to support(at)SoftOption.Us)

NO WARRANTY OR REPRESENTATION IS MADE, EITHER EXPRESSED OR IMPLIED, WITH RESPECT TO THIS SOFTWARE AND DOCUMENTATION, THEIR QUALITY, THEIR PERFORMANCE, THEIR MERCHANTABILITY, OR THEIR FITNESS FOR A PARTICULAR PURPOSE, AS A RESULT, THIS SOFTWARE IS SOLD OR OFFERED 'AS IS' AND YOU THE PURCHASER OR USER ARE ASSUMING THE ENTIRE RISK AS TO THEIR QUALITY AND TO THE SOFTWARE'S PERFORMANCE.