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 )$

Answer

 
Combining the two bases of this argument as a whole, the argument will be as follows:
${[(A \vee B) \rightarrow \sim C] \&(A \vee B)}$
$\therefore \sim C$
Truth Table:
  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$
Judgment of the validity of the argument: A total of eight columns have been formed in the above fact sheet. In which the column no. 7th base statement and column no. 8 is the introduction of the result statement. Row out of the total eight rows of the truth table. The base statement in 2, 4 and 6 is the truth ‘T’ The result statement in the same row is also the truth ‘T’. Hence this argument is standard.

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free

Similar questions

Determine the validity of the following arguments using the direct method of truth table:
$\sim A \leftrightarrow \sim B$
$\therefore\ \sim B \rightarrow \sim A$
Prove that the following arguments are standard by constructing metaphorical proof
(~ 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
(p $\rightarrow$ q) $\leftrightarrow$ (~ p $\rightarrow$ ~ q)
B v ~ B
Legislative transformation
Prove that the following arguments are standard by constructing metaphorical proof
$(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)$
All festivals are Manglik.
All weddings are Manglik.
All weddings are celebrations.
Prove that the following arguments are standard by constructing metaphorical proof
$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$
Prove that the following arguments are standard by constructing metaphorical proof
(P$\rightarrow$Q) & (R v S)
(R v S) $\rightarrow$ ~ L
L v (M & N)
$\therefore$ [(P $\rightarrow$ Q) & M] & ~ L
Prove that the following arguments are standard by constructing metaphorical proof
$P \rightarrow Q$
$\sim Q\ v\ R$
$\sim R$
$\therefore (\sim P \&  \sim R)\ v\ S$