Verify that [p?(q ?r)] ? [(p?q)?(p?r)] is a tautology Solution p...q...r... [p--

Question

Explanation / Answer

p...q...r... [p-->(q-->r)]...[(p-->q)-->(p-->r)]. . . . . [..]-->[..] T...T...T..........T............ ............ T............ ....... T T...T...F..........F............ .......does not matter . .. T T...F...T..........T............ ............ T.......... .......... T T...F...F..........T............ ............ T.......... .......... T F...T...T..........T............ ............ T......... ........... T F...T...F..........T............ ............ T.......... .......... T F...F...T..........T............ ............ T........... ......... T F...F...F..........T............ ............ T............ ........ T Rightmost column is all T, therefore expression is tautology.

Related Questions

Navigate

• Browse (All)
• Browse V
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.