Question

A. Write each statement into its symbolic form

x: PJ is a mathematician

y: MJ is a programmer

a. PJ is not a mathematician.

b. PJ is a mathematician while MJ is a programmer.

c. If PJ is a mathematician then MJ is not a programmer.

d. PJ is a mathematician or if PJ is a mathematician then MJ is a

programmer.

e. Either PJ is a mathematician and MJ is a programmer, or neither PJ is a mathematician nor MJ is a programmer. 

Answer 1

x: PJ is a mathematician

y: MJ is a programmer

a. PJ is not a mathematician.

~x

b. PJ is a mathematician while MJ is a programmer.

x$\land$ y

c. If PJ is a mathematician then MJ is not a programmer.

x=>~y

d. PJ is a mathematician or if PJ is a mathematician then MJ is a

programmer.

x$\lor$x=>y

e. Either PJ is a mathematician and MJ is a programmer, or neither PJ is a mathematician nor MJ is a programmer. 

(x$\land$y)$\lor$(~x$\land$~y)