Use the laws of logic to show that $[(p \rightarrow q) \hat \ \ \ \sim q]\rightarrow \sim p$ is tautology.

971views

Use the laws of logic to show that

$[(p \rightarrow q) \hat \ \ \ \sim q]\rightarrow \sim p$ is tautology.

written 8.3 years ago by

teamques10 ★ 69k

modified 3.2 years ago by

pedsangini276 • 4.8k

Mumbai University > Computer Engineering > Sem 3 > Discrete Structures

Marks: 4 Marks

Year: Dec 2013

discrete mathematics

ADD COMMENT EDIT

1 Answer

6views

written 8.3 years ago by

teamques10 ★ 69k

• modified 8.3 years ago

Consider Truth table for above expression:

p	q	~p	~q	p->q	(p->q)^~q	[(p->q)^~q]->~p
T	T	F	F	T	F	T
T	F	F	T	F	F	T
F	T	T	F	T	F	T
F	F	T	T	T	T	T

Since in [(p->q)^~q]->~p, all the truth values are true (T), hence [(p->q)^~q]->~p is a tautology.

ADD COMMENT EDIT

Please log in to add an answer.