Question
Determine the validity of the following arguments using the direct method of truth table:
$(A\ v\ B) \rightarrow \sim\ C$
$A\ v\ B$
$\therefore \sim\ C$
$(A\ v\ B) \rightarrow \sim\ C$
$A\ v\ B$
$\therefore \sim\ C$
| Support Statement | The resulting statement | |||||||
| $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | $7$ | $8$ | |
| $A$ | $B$ | $C$ | $\sim A$ | $B\ \&\ C$ | $A\ v\ (B\ \&\ C)]$ | $[A\ v\ (B\ \&\ C)]\ \& \sim A$ | $B\ \&\ C$ | |
| $1$ | $T$ | $T$ | $T$ | $F$ | $T$ | $T$ | $F$ | $T$ |
| $2$ | $T$ | $T$ | $F$ | $F$ | $F$ | $T$ | $F$ | $F$ |
| $3$ | $T$ | $F$ | $T$ | $F$ | $F$ | $T$ | $F$ | $F$ |
| $4$ | $T$ | $F$ | $F$ | $F$ | $F$ | $T$ | $F$ | $F$ |
| $5$ | $F$ | $T$ | $T$ | $T$ | $T$ | $T$ | $T^*$ | $T^*$ |
| $6$ | $F$ | $T$ | $F$ | $T$ | $F$ | $F$ | $F$ | $F$ |
| $7$ | $F$ | $F$ | $T$ | $T$ | $F$ | $F$ | $F$ | $F$ |
| $8$ | $F$ | $F$ | $F$ | $T$ | $F$ | $F$ | $F$ | $F$ |
| $1(\sim )$ | $2, 3(\&)$ | $1, 5(v)$ | $6, 4(\&)$ | As $5$ | ||||
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $A \rightarrow B$ |
| $C \rightarrow D$ |
| $\sim B\ \&\ \sim D$ |
| $(\sim A\ \&\ \sim C)\ v\ P$ |
| (P$\rightarrow$Q) & (R v S) |
| (R v S) $\rightarrow$ ~ L |
| L v (M & N) |
| $\therefore$ [(P $\rightarrow$ Q) & M] & ~ L |
| $(P \rightarrow\ Q)\ \&\ R$ |
| $E\ \&\ F$ |
| $\therefore [(F\ \&\ G)\ \&\ R ]\ \&\ E$ |