Use the laws of logic to determine the following expression as tautology or contradiction.

1.2kviews

written 9.0 years ago by

teamques10 ★ 70k

modified 3.8 years ago by

pedsangini276 • 4.8k

Mumbai University > Computer Engineering > Sem 3 > Discrete Structures

Marks: 6 Marks

Year: May 2014

discrete mathematics

ADD COMMENT EDIT

1 Answer

20views

written 9.0 years ago by

teamques10 ★ 70k

$$[p \ \ \hat \ \ \ (p -> q)] -> q$$

Consider Truth table for above expression:

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

Since in [p ^ (p -> q)] …

Create a free account to keep reading this post.

and 3 others joined a min ago.

ADD COMMENT EDIT

Please log in to add an answer.