CSC322
FINAL EXAMINATION
9 DEC 2009
1. In each case say whether or not the statement is true or not (false, meaningless, makes false
assumptions etc) giving brief reasons (NOT necessarily formal proofs). (2 marks each)
a. Any consistent UC (Universal Calc
CSC322
FINAL EXAMINATION
9 DEC 2009
1. In each case say whether or not the statement is true or not (false, meaningless, makes false
assumptions etc) giving brief reasons (NOT necessarily formal proofs). (2 marks each)
a. Any consistent UC (Universal Calc
CSC 322
ASSIGNMENT #4
DUE
WEDNESDAY 26 NOVEMBER 2014
For the first two question use the following informal interpretation
S
P
C
T
E
e
a
c
t
s

is a student
is a professor
is a course
professor teaches course
student is enrolled in course
Professor E
CSC322
Assignment #3
Due:
Wed 5 November 2014
For the first three question use the following informal interpretation
S
A
B
C
t
s

is
is
is
is
Tom
Sonia
a student
an Arts student (ie taking Arts)
a Biology student (ie taking Biology)
a Chemistry stude
Assignment Number One
Due: 6 October in Class
!
1.
!
In each case, say whether the statement is true or false, giving brief reasons (eg
informal proofs or counterexamples). (2 marks each).
a.
The two element set cfw_A,B of formulas is inconsistent iff A