Question

B.  Let p and q be propositions

p: You make a correct program

q: You get an A

 

Write each of the following sentences in terms of p, q and logical connectives:

______________1. You do not make a correct program.

______________2. You make a correct program, but you do not get an A.

______________3. Making a correct program is sufficient for getting an A.

______________4. You get an A but you do not make a correct program.

______________5. Whenever you get an A, you are making a correct program.

Answer 1

1. $\neg p$

2. $p \land \neg q$

3.$p \rightarrow q$

4. $q \land\neg p$

5. $q \rightarrow p$