Thus far we have considered only 'monadic' predicates-- our atomic formulas consist of a predicate followed by only one term-- for example, Fx. But in English we regularly encounter dyadic predicates or relations. For example, 'Arthur is taller than Bert' cannot be symbolized with the tools we have used so far; what is needed is a relation to represent '...is taller than ...' Txy, say, and then the proposition would be symbolized Tab.
Thus far the program has presented its conventions for
a = ARTHUR
b = BERYL
c = CHARLES
x = X
y = Y
z = Z
Sx = STUDIES
Tx = THINKS
Ax = ANGRY
Bx = BOLD
Cx = CHEERFUL
Nx = NINCOMPOOP
Px = PHILOSOPHER
but it also has conventions for transitive verbs, passive verbs, and binary adjectives. These are as follows
Axy = ANNOYS
Bxy = BRINGS
Dxy = DRIVEN BY
Exy = ENCOURAGED BY
Rxy = RUDER THAN
Sxy = SMARTER THAN
(you can also teach it transitive verbs, passive verbs,and binary adjectives by selecting one of
remember tverb (english-in-here) capital-in-here
remember pverb (english-in-here) capital-in-here
remember binadj (english-in-here) capital-in-here
and clicking Do Command; you will not need to teach the program
anything for these exercises.)
Symbolization Applet
Symbolization Applet
Symbolization Applet
Symbolization Applet