A negação lógica da proposição "Se Alfredo é generoso e Miguel é insolente, então Rodolfo é disperso" está corretamente indicada na seguinte alternativa:

Gabarito

A

Comentário do professor

A sentença dada é uma proposição condicional: Se Alfredo é generoso e Miguel é insolente, então Rodolfo é disperso. Denotando \(A\): Alfredo é generoso, \(B\): Miguel é insolente e \(C\): Rodolfo é disperso, a forma lógica é \((A \land B)\rightarrow C\).

Para obter a negação de uma condicional, mantemos o antecedente e negamos o consequente. Ou seja, a negação de \((A \land B)\rightarrow C\) é \(A \land B \land \lnot C\).

Aplicando aos enunciados: mantemos "Alfredo é generoso" e "Miguel é insolente" e acrescentamos "Rodolfo não é disperso". O conectivo resultante é e, produzindo precisamente a alternativa correta: Alfredo é generoso, Miguel é insolente e Rodolfo não é disperso.