7.2ex II

Answer the following using Ax: x is an accountant, Bx: x is brave, Cx: x is capricious.

1. Which of the following could be used to symbolize "All accountants are brave"?
a) (^x)(Ax&Bx)
b) (%x)(Ax&(^y)(By>Ay))
c) (^x)(Ax>Bx)

2. Which of the following could symbolize "No capricious accountants are brave".
a) (%x)((Cx&Ax)>~Bx)
b) ~(%x)((Cx&Ax)&Bx)
c) ~(^x)(Cx>(Ax&~Bx))

3. Which of the following could NOT symbolize "All brave accountants are capricious"?
a) ~(%x)((Bx&Ax)&~Cx)
b) ~(%x)((~Bx&Ax)&Cx)
c) (^x)((Bx&Ax)>Cx)

4. Which of the following could NOT symbolize "Some brave accountants are capricious"?
a) (%x)((Bx&Ax)&Cx)
b) (^x)~((Bx&Ax)&~Cx)
c) (%y)(By&(Ay&Cy))

Score =
Correct answers: