Semantics: the meaning of the connectives

Multiple Choice: Click on the correct answer and the page will jump forward to the next problem.

1. A conditional statement P>Q is

a. P is true and Q is true. b. P is false and Q is true. c. P is false and Q is false. d. All of the above.

2. A conditional statement P>Q is ** false** if

a. P is true. b. Q is false. c. P is true and Q is false. d. All of the above.

3. A biconditional P=Q is ** true** if

a. P is true and Q is true. b. P is true and Q is false. c. Both of the above. d. None of the above.

4. A biconditional P=Q is ** logically equivalent** to

a. P&Q b. P>Q c. (P>Q)&(Q>P) d. None of the above.