Regras de inferência – modus ponens e modus tollens

Copeve/UFAL· CASAL· 2010

Se Marcos não viaja com Selma, então Selma vai ao culto. Se Selma vai ao culto, então Morgana fica em casa. Se Morgana fica em casa, então Júnior beija Morgana. Ora, Junior não beija Morgana; logo,

INCAB (ex-FUNCAB)· DETRAN PE· 2010

Se Marcos é dono do carro A, então Sávio não é dono do carro B. Ou Sávio é dono do carro B, ou Gabriel é dono do carro C. Se Paulo não é dono do carro D, então Marcos é dono do carro A. Ora, nem Gabriel é dono do carro…

COSEAC UFF· DATAPREV· 2009

Se o quintal está sujo, então o gato mia. Se o quintal não está sujo, então o passarinho canta. Ora, o passarinho não canta, logo:

FCC· SEFAZ SP· 2009

Considere as seguintes afirmações: I. Se ocorrer uma crise econômica, então o dólar não subirá. II. Ou o dólar subirá, ou os salários serão reajustados, mas não ambos. III. Os salários serão reajustados se, e somente se…

Cebraspe· TRE MG· 2009

Um argumento é uma afirmação na qual uma dada sequência finita — p1, p2, ..., pn, n $1 — de proposições tem como consequência uma proposição final q. A esse respeito, considere o seguinte argumento. < Ou Paulo fica em c…

Cebraspe· PC TO· 2008

Considere a seguinte seqüência de proposições:

Consulplan· IBGE· 2008

Daniel tem 3 netos: um recém-nascido, uma criança e um adolescente. Seus nomes são Adriano, Bruno e Carlos. Sabe-se que um dos netos tem olhos verdes, o outro olhos azuis e o outro olhos castanhos. Se o mais novo tem ol…

FAT Concursos· CET SP· 2008

Se não durmo, como. Se estou com raiva, não durmo. Se durmo, não estou com raiva. Se não estou com raiva, não como. Logo

FAT Concursos· CET SP· 2008

Se Fernando não bebe, ele visita Ana. Se Fernando bebe, ele lê poemas. Se Fernando não visita Ana, ele não lê poemas. Se Fernando lê poemas, ele não visita Ana. Segue-se, portanto, que Fernando

Cebraspe· TCU· 2008

Mateus tem 38 anos de idade.

Cebraspe· PETROBRAS· 2007

Considere que as seguintes proposições compostas a respeito de um programa de computador sejam todas V. • O programa tem uma variável não-declarada ou o programa possui erro sintático nas 4 últimas linhas. • Se o progra…

FCC· TJ PE· 2007

Se Rasputin não tivesse existido, Lenin também não existiria. Lenin existiu. Logo,

FCC· MPU· 2007

Nas prateleiras de uma farmácia há apenas três tipos de frascos, nos tamanhos grande, médio e pequeno e nas cores rosa, branca e azul, não respectivamente. Sabe-se também que: cada frasco contém somente comprimidos de u…

FCC· Pref Santos· 2005

Um grupo de administradores − Álvaro, Bento, Caio, Dante, Eli e Fábio − participou de uma Convenção e, durante o evento, alguns deles descobriram algumas afinidades com um dos outros: − Álvaro percebeu que tinha afinida…

Cebraspe· TCU· 2004

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

SMA-RJ (antiga FJG)· TCM RJ· 2003

Numa fábrica todos os empregados recebem valetransporte ou vale-refeição. A partir desta informação, é correto concluir que:

ESAF· CGU· 2002

Ou Lógica é fácil, ou Artur não gosta de Lógica. Por outro lado, se Geografia não é difícil, então Lógica é difícil. Daí segue-se que, se Artur gosta de Lógica, então:

ESAF· MRE· 2002

No final de semana, Chiquita não foi ao parque. Ora, sabe-se que sempre que Didi estuda, Didi é aprovado. Sabe-se, também, que, nos finais de semana, ou Dadá vai à missa ou vai visitar tia Célia. Sempre que Dadá vai vis…