0

1.2kviews

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

written 9.2 years ago by teamques10 ★ 70k

modified 4.1 years ago by krithikkm200 • 10

Mumbai University > Computer Engineering > Sem 3 > Discrete Structures

Marks: 6 Marks

Year: May 2014

discrete mathematics

ADD COMMENT FOLLOW SHARE EDIT

1 Answer

0

20views

written 9.2 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)] -> q, all the truth values are true (T), hence [p ^ (p -> q)] -> q is a tautology.

ADD COMMENT SHARE EDIT