edited by
403 views
4 votes
4 votes

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 a tautology.
  2. $(p \rightarrow q) \vee (q \rightarrow p)$ is a tautology.
  3. $(p \rightarrow q) \vee (q \rightarrow \neg p)$ is a tautology.
  4. $(p \rightarrow q) \vee (\neg q \rightarrow \neg p)$ is a tautology.
edited by

1 Answer

2 votes
2 votes
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
Answer:

Related questions