Question
$A \rightarrow B$
$\sim B$
$\therefore \sim A$

Answer

Combining the two bases of this argument as a whole, the argument will be as follows:
$(A \rightarrow B)\ \&\ \sim B$
$\therefore \sim A$
Truth Table:
  Support Statement The resulting statement
  $1$ $2$ $3$ $4$ $5$ $6$
$A$ $B$ $\sim B$ $A \rightarrow B$ $(A \rightarrow B)\ \&\ \sim B$ $\sim A$
$1$ $T$ $T$ $F$ $T$ $F$ $F$
$2$ $T$ $F$ $T$ $F$ $F$ $F$
$3$ $F$ $T$ $F$ $T$ $F$ $T$
$4$ $F$ $F$ $T$ $T$ $T^*$ $T^*$
  $2 (\sim )$ $1, 2 (\rightarrow)$ $4,3 (\&)$ $1(\sim )$
               
Judgment of the validity of the argument: A total of six columns have been formed in the above fact sheet. In which the column no. Base statement and column no. $6$ is the representation of the result statement. Out of the total four rows of the truth table, only rows. The base statement in $4$ is the truth $‘T’$ and 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

All the elderly have experienced.
All are experienced elders.
Some elders are elderly.
All pedestrians are devotees.
Some devotees are devotees.
Some devotees are pedestrians.
Samadhi
Prove that the following arguments are standard by constructing metaphorical proof
$(F \rightarrow S)\ \&\ (R \rightarrow W)$
$F\ \&\ R$
$\therefore  \sim S\ \&\ W$
Prove that the following arguments are standard by constructing metaphorical proof
$(A\ v\ B) \rightarrow (D\ v\ C)$
$(E\ v\ F)\ v\ (A\ v\ B)$
$\sim (A\ v\ B)\ \&\ H$
$F \rightarrow (A\ v\ B)$
$\therefore [E\ \&\ \sim (A\ v\ B)]\ v\ S$
$P\ v\ Q$
$Q$
$\therefore \sim\ P$
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
Prove that the following arguments are standard by constructing metaphorical proof
$G \rightarrow H$
$(A\ v\ B) \rightarrow D$
$D \rightarrow [(S\ \&\ T) \rightarrow P]$
$(S\ \&\ T)\ v\ G$
$A\ v\ B$
$(P\ v\ H)\ \&\ D$
Determine the validity of the following arguments using the direct method of truth table:
$R \rightarrow (S\ v\ T)$
$\sim R$
$\therefore S\ v\ T$
Prove that the following arguments are standard by constructing metaphorical proof
$A \rightarrow B$
$C \rightarrow B$
$(\sim\ A\ \&\ \sim \ C)\  \rightarrow\  (D\  \rightarrow\ E)$
$(E\  \rightarrow\ G)\ \&\ (D\ v\ E)$
$E\ v\ G$