Questão Q1260219

Dizer que “Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos” é logicamente equivalente a:

Alternativas

Se João é inteligente então Maria não é inteligente e Alice e Vilmar não são bonitos.

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

Se Alice ou Vilmar é bonito então ou João ou Maria não é inteligente.

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

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

Comentários

✅Gabarito(E)

Há duas formas de equivalência da condicional, a saber:

1.. Contrapositiva (inverte as duas partes e nega as duas partes, mantendo o ''se...então'').

2.. NEMA (NEga a primeira parte, MAntém a segunda parte, trocando o ''se...então'' pelo ''ou'').
____________
No caso acima, foi usada a primeira regra de equivalência.

“Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos”
equivalência:
“Se Alice ou Vilmar é bonito então João e Maria não são inteligentes.''

Mas achei estranho esse ''é bonito'' no lugar de ''são bonitos''.
Assertiva e
Se Alice ou Vilmar é bonito então João e Maria não são inteligentes.

SE A-> B
Eq ~B->~A
macete > equivalencia do se entao > nein ou neouman
Equivalência do Se..então = MA NÉ (MA v NÉ) mantém a primeira V nega a segunda
se não der certo, volta negando (tudo)
Não tem problema trocar o "E" por "OU" e o "OU" por "E" nessa contrapositiva, sendo que nesse caso eles não são conectivos lógicos ? Alguém sabe me explicar por favor?

SóProvas