Loading [MathJax]/jax/output/CommonHTML/fonts/TeX/fontdata.js

Verify by using the laws of logic whether the following statement is a Tautology or not

Query Point Sunday, November 20, 2022 0

Verify by using the laws of logic whether the following statement is a Tautology or not:

~ $\(\~q\to p)\to\~\q$

Solution:

~ $\(\~q\to p)\to\~\q$

~ $\(\~q v p)\to\~\q$

$\(q v p)\to\~\q$

$\(q v p) v \~\q$

$\(p v q) v \~\q$

$\p v (q v \~\q)$

$\p v t$

$t$

So, the given statement is Tautology

No comments

Subscribe to: Post Comments ( Atom )