Solveeit Logo

Question

Mathematics Question on Statements

The statement (pq)(pΛq)(p \Rightarrow q ) \Leftrightarrow ( \sim p \Lambda q) is a

A

tautology

B

contradiction

C

Neither (a) nor (b)

D

None of these

Answer

Neither (a) nor (b)

Explanation

Solution

pp
| qq
| pp
| pq p \Rightarrow q
| pq \sim p \wedge q
| (pq)(pq) (p \Rightarrow q) \Leftrightarrow ( \sim p \wedge q)

---|---|---|---|---|---

T
| T
| F
| T
| F
| F

T
| F
| F
| F
| F
| T

F
| T
| T
| T
| T
| T

F
| F
| T
| T
| F
| F

Hence, given statement is neither tautology nor contradiction .