Considere as proposições lógicas p e q. A proposição composta (p → q) ∧ (q → p) é classificada como 

A proposição lógica ¬(p → q) é logicamente equivalente a

Quatro amigos estudantes de lógica simularam a compra de chocolates em um balcão de autoatendimento, no qual havia uma urna para depósito do dinheiro no valor do chocolate. Só um deles não realizou o depósito na urna. Eles deram depoimentos para identificar quem não realizou o depósito, e só um deles mentiu:

— Foi o Amigo 2 que não depositou, diz o Amigo 3. — Não fui eu que não depositei, diz o Amigo 1. — Foi o Amigo 3 que não depositou, diz o Amigo 4. — O Amigo 4 não tem razão, diz o Amigo 2.

Qual deles não depositou o dinheiro na urna?

Leia o texto a seguir.
George Polya estrutura as 4 fases para a resolução de um problema, intituladas:
1. Compreensão do problema; 2. Estabelecimento de um plano; 3. Execução do plano; 4. Retrospecto.

Caso o resolvedor consiga obter um valor para a incógnita que satisfaça uma equação que modele o problema, qual fase deve seguir para confirmar que esse valor é uma solução do problema?