The Logic Forum Discussion Area

Logic
This Forum is Locked
Author
Comment
View Entire Thread
Re: A tautology used in implication

the (p v not-p) part is a tautology

the whole thing [(P v not-P) implies Q] is identical with Q - so it is a tautology of Q.

all this is indeed pointless,

but I guess it is intended as exercise. enjoy!

Re: A tautology used in implication

Thank you again, Avi.

Most kind of you.