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?