A3Q3 - Use of MP+ ?

[David Richards]

I have heard other students in the class mention using a "Modus Ponens
Plus", however I don't remember anything like this from lecture. Is this
something we can use for Question 3?

[Curtis Bright]

You might also have seen it referred to as "transitivity", it states
that if Sigma |- A -> B and Sigma |- B -> C then Sigma |- A -> C.

I'd say go ahead and use it if it's useful, though to cover your back
from strict marking you might also want to give a proof of it.
Generally though I think you can quote results from lectures and tutorials.

Curtis

Post by David Richards
I have heard other students in the class mention using a "Modus Ponens
Plus", however I don't remember anything like this from lecture. Is this
something we can use for Question 3?