### 2.2ex III

More Semantics

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

1. A conditional statement P>Q
is *true* if

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.

Show results so far...