A questão traz dois assuntos relacionados aos conceitos iniciais de Lógica na mesma questão: equivalência de condicional e negação / equivalência do ‘Todo, Algum e Nenhum’.
Já sabemos que:
P -> Q = ~Q -> ~P
Ex: Se o cão mia, o gato late = Se o gato não late, o cão não mia
E que:
Proposição => Negação => Equivalência
Todo => Algum não => Nenhum não
Nenhum => Algum => Todo não
Algum não => Todo
Algum => Nenhum
Ex: A negação de TODO gato é pardo é ALGUM (ou pelo menos um) ato NÃO é pardo e que TODO gato é pardo é logicamente equivalente a NENHUM gato NÃO é pardo.
Agora, a Esaf juntou esses dois conceitos numa questão só! Acompanhem a resolução!!!
A proposição é ‘se algumas pessoas não são honestas, então algumas pessoas são punidas’.
Separando e destacando:
H = ALGUMAS pessoas NÃO são honestas
P = ALGUMAS pessoas são punidas
Logo, temos que H -> P = ~P -> ~H. Ou seja:
~(ALGUMAS pessoas são punidas) -> ~(ALGUMAS pessoas NÃO são honestas)
= NENHUMA pessoa é punida -> TODAS as pessoas são honestas
= NENHUMA pessoa é punida -> NENHUMA pessoa não é honesta (ou NENHUMA pessoa é desonesta)
Será que o que acabamos de ler não é a mesma coisa que ‘se ninguém é punido, então não há pessoas desonestas’???
Gabarito: letra D.
FONTE: https://www.euvoupassar.com.br/?go=artigos&a=_3uSMGtzlyeKpgxIhHJy7JUSLog9OO8eTXzcT_vt0m4~
Nesta questão não podemos resolvê-la pela aplicação do método do silogismo, isto é da "tabela-verdade" ou com os desenhos dos diagramas, pois não encontraríamos uma resposta correta. Mas a questão não exige irmos tão afundo assim, apenas solicita equivalência de uma condicional usando os conceitos do "todo, algum, nenhum...". Assim, tinhamos que saber que a equivalência de uma condicional é dada por sua contrapositiva (inverte as proposições e as nega) e também tínhamos que saber negar as proposições que envolvem "todo, nenhum, algum...".
"se algumas pessoas não são honestas, então algumas pessoas são punidas"
~ P - > Q
Volta negando: ~Q -> P ou seja,
"se ninguém é punido, então não há pessoas desonestas."
Gabarito D
Só isso galera, não vamos ficar viajando.