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?