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