Em um determinado grupo de pessoas,

• todas as pessoas que praticam futebol também praticam natação,

• algumas pessoas que praticam tênis também praticam futebol,

• algumas pessoas que praticam tênis não praticam natação.

É CORRETO afirmar que no grupo

Considere como verdadeira a proposição: “Nenhum matemático é não dialético”. Laura enuncia que tal proposição implica, necessariamente, que

I. se Carlos é matemático, então ele é dialético.

II. se Pedro é dialético, então é matemático.

III. se Luiz não é dialético, então não é matemático.

IV. se Renato não é matemático, então não é dialético.

Das implicações enunciadas por Laura, estão corretas APENAS

Cássio, Ernesto, Geraldo, Álvaro e Jair são suspeitos de um crime. A polícia sabe que apenas um deles cometeu o crime. No interrogatório, os suspeitos deram as seguintes declarações:

Sabe-se que o culpado do crime disse a verdade na sua declaração. Dentre os outros quatro suspeitos, exatamente três mentiram na declaração. Sendo assim, o único inocente que declarou a verdade foi

Considere a afirmação:

“Todo baiano é um homem feliz”.

Uma afirmação logicamente equivalente é:

André, Beatriz, Carlos e Denise estão sentados em volta de uma mesa quadrada, cada um deles em um lado da mesa. André está sentado em frente a Beatriz e Beatriz está sentada à direita de Denise.

No sentido horário, a ordem dos quatro em volta da mesa é:

Considere que P e Q sejam as seguintes proposições:

P: Se a humanidade não diminuir a produção de material plástico ou não encontrar uma solução para o problema do lixo desse material, então o acúmulo de plástico no meio ambiente irá degradar a vida no planeta.

Q: A humanidade diminui a produção de material plástico e encontra uma solução para o problema do lixo desse material ou o acúmulo de plástico no meio ambiente degradará a vida no planeta.

Nesse caso, é correto afirmar que as proposições P e Q são equivalentes.

Considere a afirmação abaixo.

Se contratei um empréstimo com juros maiores do que antes, então pagarei um montante maior.

A afirmação que corresponde à negação lógica desta é