Questões de Raciocínio Lógico · Cebraspe

Raciocínio LógicoRegras de inferência – modus ponens e modus tollensCebraspe 2004

TCU

Questão de Raciocínio Lógico

As letras P, Q e R representam proposições, e os esquemas acima representam quatro formas de dedução, nas quais, a partir das duas premissas (proposições acima da linha tracejada), deduz-se a conclusão (proposição abaixo da linha tracejada). Os símbolos ¬ e → são operadores lógicos que significam, respectivamente, não e então, e a definição de ∨ é dada na seguinte tabela verdade.

Figura da questão (imagem do caderno de prova)Figura da questão (imagem do caderno de prova)

Considerando as informações acima e as do texto, julgue os itens que se seguem, quanto à forma de dedução.

Dadas as premissas P → Q; ¬Q; R → P, é possível fazer uma dedução de ¬R usando-se a forma de dedução IV.

Sua resposta

Mais questões de Regras de inferência – modus ponens e modus tollens

Ver as 258 questões de Regras de inferência – modus ponens e modus tollens

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.