Question
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency.
$(p \wedge \sim q) \leftrightarrow(p \rightarrow q)$
$(p \wedge \sim q) \leftrightarrow(p \rightarrow q)$
| p | q | $\sim q$ | $p \wedge \sim q$ | $p \rightarrow q$ | $(p \wedge \sim q) \leftrightarrow(p \rightarrow q)$ |
| T | T | F | F | T | F |
| T | F | T | T | F | F |
| F | T | F | F | T | F |
| F | F | T | F | T | F |
All the entries in the last column of the above truth table are F.
$(p \wedge \sim q) \leftrightarrow(p \rightarrow q)$ is is a contradiction
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.