Logic Tutorial 1 Solutions
Logic Tutorial 1 Solutions
a. t
b. tr
c. rh
d. rh
e. (rh)
f. rh or hr
g. rh or hr
h. hr or (hr)
i. rh or (rh)(hr)
j. rh
In general
“P unless Q” is often translated to
“P if notQ”, i.e.
QP or
PQ.
k. rh
l. bw
(bw)
bwl
ldcfp
ldcfacr
Alternatively the last two sentences can be formalised as:
ld(cfp) (cfacr)
m.
ABC
BC
C(BA)
ABC