Regras de inferência – modus ponens e modus tollens

Copeve/UFAL· UFAL· 2014

Carla é médica ou Lúcia é psicóloga. Se Alceu é químico, então Bruno não é músico. Se Lúcia é psicóloga, então Bruno é músico. Alceu é químico. Logo,

CEV URCA· Pref Cedro (CE)· 2014

No final de semana Pedro não foi ao jogo de futebol. Sabe-se que, sempre que João vai ao shopping, João fica feliz. Sabe-se também que, no final de semana, ou Carlos vai estudar ou vai a casa de sua avó. Sempre que Carl…

CEV URCA· Pref Cedro (CE)· 2014

Se Fred é culpado, então Leandro é culpado. Se Fred é inocente, então, ou Leandro é culpado, ou Sofia é culpada, ou ambos, Leandro e Sofia são culpados. Se Sofia é inocente, então Leandro é inocente. Se Sofia é culpada,…

IBFC· AMAZUL· 2014

Se Joana vai ao cinema, então Mario estuda. Mario não estuda. Portanto:

Vunesp· SP-URBANISMO· 2014

Se Carlos não é funcionário público, então Laura é sua irmã. Ou Marcelo ou Ana é analista administrativo. Se Laura é irmã de Carlos ou Débora é esposa de Hugo, então Marcelo não é analista administrativo. Constatado que…

Vunesp· PRODEST-ES· 2014

Se é quarta-feira, treino tênis por duas horas exatamente. Se treino tênis por duas horas exatamente, então lancho no clube. Após treinar tênis, ou jogo bola ou lancho no clube. Após o último treino de tênis, joguei bol…

FDC· AgeRIO· 2014

Marque a alternativa que é logicamente aceita de acordo com a afirmação abaixo: Somente se amanhã for feriado, Lucas viajará hoje. Amanhã não será feriado então

BIO-RIO· NUCLEP· 2014

Joaquim, Mendonça e Lorico são funcionários da Nuclep. Um é engenheiro, outro é mecânico e o terceiro é administrador. Joaquim é mais alto do que o administrador. Mendonça é mecânico. Lorico não é o mais baixo dos três.…

CMRJ· CMRJ· 2014

Maurício deve colocar os números naturais de 1 a 14 no quadro abaixo de forma que a soma dos números das verticais seja sempre a mesma. Podemos afirmar que a soma será,

FAT Concursos· FATEC· 2014

Considere verdadeira a seguinte afirmação. Assim sendo, pode-se concluir corretamente que

Vunesp· PC SP· 2013

Considerando que Freud é o pai da psicanálise, assinale a alternativa que apresenta o que é correto afirmar acerca do seguinte argumento: Freud é o pai da psicanálise ou Freud é jogador de futebol. Freud não é o pai da…

FCC· DPE-RS· 2013

Os números 1, 2, 3, 4, 6, 9, 12, 18 e 36 deverão ser distribuídos entre os nove quadrados menores de um quadriculado 3 × 3, de modo que: − cada um dos nove números seja escrito uma única vez; − cada quadrado menor conte…

FGV· Concurso Público para a Assembleia Legislativa do Estado de Mato Grosso· 2013

Fabio, Guilherme e Hugo são funcionários da AL‐MT. Um deles é arquivista, outro é contador, e outro é segurança. As três afirmações seguintes sobre esses funcionários são verdadeiras: • Fabio é mais velho que o contador…

Copeve/UFAL· Pref Santana Ipanema· 2013

João, Paulo e Pedro são torcedores dos times A, B e C, não respectivamente. Além disso, sabe-se que I. os times possuem números diferentes de títulos; II. cada torcedor torce exclusivamente para um dos times; III. João…

FGV· ALEMA· 2013

Considere como verdadeiras as seguintes afirmativas: I. Se a lei A for aprovada, então a lei B não será aprovada. II. Se a lei C não for aprovada, então a lei B será aprovada. III. Se a lei A não for aprovada, então a l…

Vunesp· PC SP· 2013

Assinale a alternativa que apresenta corretamente a conclusão do seguinte argumento: Se Pedro é engenheiro, então Pedro fez faculdade. Pedro é engenheiro. Logo, Pedro fez faculdade.

FCC· PGE BA· 2013

Alberto, Bernardo, Custódio e Danilo são quatro músicos muito talentosos. Não necessariamente nesta ordem, um é pianista, outro violonista, outro saxofonista e há o baterista. Também se tem ciência de que: − Alberto e C…

Cebraspe· SENAPPEN· 2013

Sabendo-se que um detento não cometeu crime estando armado, é correto afirmar que, seguramente, ele não será revistado.

Vunesp· COREN SP· 2013

As duas afirmações a seguir são verdadeiras. • Se hoje faz frio, então amanhã chove. • Amanhã não chove. Com base nelas, conclui-se corretamente que

Copeve/UFAL· Pref P Trincheiras· 2013

Quais as regras de inferência utilizadas na dedução lógica? ~P 0 (Q 0 R), ~P, Q |--- R