Dizer que “Se João ou Maria são inteligentes então Alice...

Equivalência de Se então (->): nega de trás pra frente pela própria condicional; ¬B -> ¬A (não A então não B) ou, pode ser pela disjunção OU (v): ¬A v B (não A ou B)

“Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos”

Chame: J --> João

            M --> Maria

            A --> Alice

            V --> Vilmar

Logo, temos que: (FAZENDO A CONTRAPOSIÇÃO DO ANTECENTENDE E CONSEQUENTE)

       (J v M) --> ~ (A ^ V) <--> (A v V) --> ~(J ^ M)

Resposta: E) Se Alice ou Vilmar é bonito então João e Maria não são inteligentes.

Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos

p = João ou Maria são inteligentes

q=  Alice e Vilmar não são bonitos

Logo: p->q

Voce pode fazer a tabela da verdade ou decorar as proposições equivalentes manjadas que são: p->q ; ~q->~p ; ~p ou q.

~q->~p : Se Alice ou Vilmar é bonito então João e Maria não são inteligentes

~p ou q :  João ou Maria não é inteligente ou Alice e Vilmar não são bonitos

Portanto, o unico gabarito contemplado é a ~q->~p.

*obs: Negação da conjunção (e) = disjunção (ou)

Gabarito: E

A grafia da resposta correta está totalmente sem conformidade com a proposição em si. A resposta correta deveria estar escrita assim:

Se Alice ou Vilmar são bonitos, então João e Maria não são inteligentes.

A negação pode até estar correta mas a frase em si está sem sentido. Sorte que não é uma questão de português. Ainda sim creio que deveria ser anulada.