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?