Encoding the Syllogism

Predicate symbols:

C(x) = x is coloured.

S(x) = x is scented.

D(x) = I dislike x.

A(x) = x is grown in the open air.

Previous slide

Next slide

Back to first slide

View graphic version