(CESGRANRIO/2012 - adapted) Given the premises p1, p2, ..., pn and a conclusion q, a rule of inference from which q is logically deduced from p1, p...

(CESGRANRIO/2012 - adapted) Given the premises p1, p2, ..., pn and a conclusion q, a rule of inference from which q is logically deduced from p1, p2, ..., pn is denoted by p1, p2, ..., pn ├ q. The symbol ├ is used to separate premises (on the left) from the conclusion (on the right). When there is more than one premise in the argument, they must be separated from each other by a comma. A classic rule of inference is called Modus ponens, which in Latin means 'mode of affirming'. Following the presented structure, what notation designates the Modus ponens rule?


a) p ∨ q, ¬p ├ q.
b) p ∧ q, ¬p ├ ¬q.
c) p ↔ q ├ p→q.
d) p → q, p ├ q.
e) p → q, q ├ p.