Assinale a alternativa que corresponde à regra de inferência “modus tollens”. De p e p → q , deduzimos p'. De p e q , deduzimos p∧ q. De p∧ q , de...

Assinale a alternativa que corresponde à regra de inferência “modus tollens”.

De p e p → q , deduzimos p'.
De p e q , deduzimos p∧ q.
De p∧ q , deduzimos p e q.
De p → q e q', deduzimos p'.
De p , deduzimos p∨ q.
a) De p e p → q , deduzimos p'.
b) De p e q , deduzimos p∧ q.
c) De p∧ q , deduzimos p e q.
d) De p → q e q', deduzimos p'.
e) De p , deduzimos p∨ q.