0

1.0kviews

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

written 8.0 years ago by teamques10 ★ 68k

modified 2.9 years ago by pedsangini276 • 4.8k

Mumbai University > Computer Engineering > Sem 3 > Discrete Structures

Marks: 5 Marks

Year: Dec 2015

discrete mathematics

ADD COMMENT FOLLOW SHARE EDIT

1 Answer

0

3views

written 8.0 years ago by teamques10 ★ 68k

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 SHARE EDIT