in Mathematical Logic retagged by
212 views
1 vote
1 vote

Let $p,q$ be two atomic propositional assertions. Then which of the following is/are false?

  1. $(p \rightarrow q) \vee (p \rightarrow \neg q)$ is necessarily tautology.
  2. $(p \rightarrow q) \vee (q \rightarrow p)$ is necessarily tautology.
  3. $(p \rightarrow q) \vee (q \rightarrow \neg p)$ is necessarily tautology.
  4. $(p \rightarrow q) \vee (\neg q \rightarrow \neg p)$ is necessarily tautology.
in Mathematical Logic retagged by
212 views

1 Answer

1 vote
1 vote
For Option A,
$\begin{array}{|c|c||c|c|c|c|} \hline p & q & p\rightarrow q & \neg q & p\rightarrow \neg q &(p\rightarrow q)\vee (p\rightarrow \neg q)\\\hline T & T & T & F& F & T\\\hline T & F & F& T & T & T \\\hline F & T & T & F & T & T\\\hline F & F & T & T & T & T   \\ \hline\end{array}$
The formula is valid since it is satisfied by every interpretation. Similarly, we can check for other options.
edited by

2 Comments

$Option – D : p=T$ and $q=F$ will make it false. So, it is not necessarily tautology.
0
0
Option : D
0
0
Answer:

Related questions