I\'m a freshman CS student at my university and i\'m struggling with understandi

Question

I'm a freshman CS student at my university and i'm struggling with understanding my professor through his thick accent. I've asked him to explain the proof for this multiple times and still have trouble comprehending what he's trying to tell me.

The question is:

Prove that: $P ightarrow(Q ightarrow R)$ is equivalent to $(P wedge Q) ightarrow R$

He wants us to prove it using math and goes on to tell me that $P ightarrow (Q ightarrow R) = eg P ee ( eg Q ee R)$

From that point on, I was completely lost and unable to follow along.

Explanation / Answer

ou could just construct the truth tables for the two formulas: there are only three variables, so the tables are only eight lines.

Use de Morgan's laws, distributivity and so on to rearrange one formula into the other.

Use similar techniques to show that $[P ightarrow (Q ightarrow R)] leftrightarrow [(Pwedge Q) o R]$ is equivalent to true.

Use similar techniques to show that $[P ightarrow (Q ightarrow R)] leftrightarrow eg[(Pwedge Q) ightarrow R]$ is equivalent to false.

Use one of the various propositional proof systems to accomplish one of 2

Related Questions

Navigate

• Browse (All)
• Browse I
• Subjects

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