Scribd
Upload
186 views3 pages

Tutorial 4

The document outlines a student's academic progress from December 2013 to June 2019. It mentions the student taking the CSC510 course in December 2018 and December 2016. It also lists logic statements about exams taken in June 2019, with one exam occurring on a weekday in July.

Uploaded by

Sofiya Yus
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
186 views3 pages

Tutorial 4

The document outlines a student's academic progress from December 2013 to June 2019. It mentions the student taking the CSC510 course in December 2018 and December 2016. It also lists logic statements about exams taken in June 2019, with one exam occurring on a weekday in July.

Uploaded by

Sofiya Yus
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

Dec 2013

Dec 2016
Jun 2018

b) P(x, Maria) ^ Q(Maria, x)

c) guna Ax P((maria, x) ---> Q (maria, x))

Dec 2018
a) i. Ex takes(x, CSC510)
ii. Ex (year (x, 3) ^ takes(x, CSC510))
iii. Ex (institute (x, uitm) ^ year (x, 3) ^ tekes (x, CSC510))
b) i. ⌐Ex Ax T(x, y) OR AyAx ⌐T(x, y)
ii. Ax Ey T(x, y)

Jun 2019

i. Ex exam(x)
ii. Ex (weekdays (x) ^ exams(x))
iii. Ex (July(x) ^ weekday(x) ^ exams(x))

You might also like