Questão Q1278289

Assinale a alternativa logicamente equivalente à afirmação “Se Rafael é meigo e Beatriz é pontual, então João não é alto ou Ana é leal”.

Alternativas

Se Ana não é leal ou João é alto, então Rafael não é meigo ou Beatriz não é pontual.

Se Ana não é leal ou João é alto, então Rafael não é meigo e Beatriz não é pontual.

Se Ana não é leal e João é alto, então Rafael não é meigo ou Beatriz não é pontual.

Se Ana não é leal e João é alto, então Rafael não é meigo e Beatriz não é pontual.

Se Rafael não é meigo ou Beatriz não é pontual, então João é alto e Ana não é leal.

Comentários

✅Gabarito(C)

Foi usada a equivalência chamada contrapositiva( inverte e nega):

“Se Rafael é meigo e Beatriz é pontual, então João não é alto ou Ana é leal”.
equivalência:
''Se João é alto e Ana não é leal, então Rafael não é meigo ou Beatriz não é pontual.''.
_________________________
Outra forma de equivalência da condicional seria a regra do NEMA.
Nega a primeira, Mantém a segunda, trocando o ''se...então'' pelo ou:

“Se Rafael é meigo e Beatriz é pontual, então João não é alto ou Ana é leal”.
equivalência:
''Rafael não é meigo ou Beatriz não é pontual ou João não é alto ou Ana é leal''.
Assertiva C
Se Ana não é leal e João é alto, então Rafael não é meigo ou Beatriz não é pontual.

Se A -> B
Eq Se ~B ->~A

SóProvas