Indique a regra de inferência conhecida como Silogismo Hipotético (SH):

a.p → q ⊢ p → (p ∧ q).

b.p → q, p ⊢ q.

c.p → q, p ⊢ p.

d.p → q, q → r ⊢ p → r.

e.p → q, r → s, p ∨ r ⊢ q ∨ s.