Question
$(P \rightarrow q)\ v\ (p\ \&\ q)$

Answer

Truth table:
  $1$ $2$ $3$ $4$ $5$ $6$
$p$ $q$ $\sim q$ $p \rightarrow q$ $p\ \&\ \sim q$ $(P \rightarrow q)\ v\ (p\ \&\ \sim\ q)$
$1$ $T$ $T$ $F$ $T$ $F$ $T$
$2$ $T$ $F$ $T$ $F$ $T$ $T$
$3$ $F$ $T$ $F$ $T$ $F$ $T$
$4$ $F$ $F$ $T$ $T$ $F$ $T$
  $2(\sim )$ $1, 2 ( \rightarrow )$ $1, 3 (\&)$ $4, 5 (v)$
Decision of the type of form for the statement: Looking at the fact sheet above, it will be seen that the representation of the given form for the statement is in column no. Done in $6.$ All rows in this column have $T$ in them. This means that all substitutions for this form of statement are true. So it is clear that this form of statement is 'tadevarthaka'.

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

Prove that the following arguments are standard by constructing metaphorical proof
$(A\ v\ B) \rightarrow D$
$A$
$\therefore  (D\ \&\ A)\ v\ P$
Joint Statement
$(p \rightarrow q)\ \&\ (p\ v\ q)$
Determine the validity of the following arguments using the direct method of truth table:
$A \leftrightarrow B$
$\therefore  B \rightarrow A$
Prove that the following arguments are standard by constructing metaphorical proof
$(A\  \rightarrow\ B)\ \&\ (D\  \rightarrow\ E)$
$(B\  \rightarrow\  T)\ \&\ (E\  \rightarrow\  A)$
$\sim\ T$
$\therefore\ \sim\ D\ \&\ \sim\ T$
All turtles are long-lived.
Some turtles are not aquatic.
Some aquatics are not long-lived.
Prove that the following arguments are standard by constructing metaphorical proof
$X \rightarrow Y$
$Y \rightarrow Z$
$(X \rightarrow Z) \rightarrow (Y \rightarrow P)$
$(Y\ V\ P) \rightarrow Z$
$\therefore Z\ v\ Q$
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
$E\ v\ (E\ \&\ Q)$
$E \rightarrow L$
$\sim L$
$Q\ v\ M$
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$