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.
A alternativa correta que corresponde à regra de inferência "modus tollens" é a letra d) De p → q e q', deduzimos p'. Nessa regra, partimos de uma implicação condicional (p → q) e da negação da consequência (q') para deduzir a negação da premissa (p').
0
0
Faça como milhares de estudantes: teste grátis o Passei Direto