Assinale a alternativa que corresponde à regra de inferência “modus tollens”. a. De p∧q , deduzimos p e q. b. De display style p rightwards ...

A alternativa que corresponde à regra de inferência "modus tollens" é a letra E: "De p e p→q, deduzimos p'". O "modus tollens" é uma regra de inferência lógica que afirma que, se uma proposição condicional "p → q" é verdadeira e a proposição "q" é falsa, então a proposição "p" também deve ser falsa. Em outras palavras, se "p" implica em "q" e "q" não é verdadeiro, então "p" também não pode ser verdadeiro. A alternativa E segue essa regra, onde "p'" representa a negação de "p".

De , deduzimos p'.