0

1.1kviews

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

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: 6 Marks

Year: May 2014

discrete mathematics

ADD COMMENT FOLLOW SHARE EDIT

1 Answer

0

20views

written 8.0 years ago by teamques10 ★ 68k

$$[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