Suppose the predicates

*studies* and

*ptime* about the University are defined as follows:

*studies*(

*s*,

*m*) means that student

*s* is currently enrolled on module

*m *and

*ptime*(

*s*) means that

*s* is a part-time student where

*s* is a student in the set

STUDENTS and

*m* is a module in the set MODULES as defined above.

Using the notation of logic represent each of the following propositions:

(i) All part-time students are enrolled on the module COM137

(ii) Only full-time students are enrolled on the module MT123

(iii) No part-time students are enrolled on the module COM137

Using my table I have to answer these.... Can someone take the time to explain this?