Considerando os conectivos lógicos usuais, que as letras mai...

"A expressão (A ˅ B) → C é equivalente à expressão (~A ˄ ~B) ˅ C."

Gabarito: Certo

A equivalência da expressão "(A ˅ B) → C" pode ser feita de duas formas

-Primeiro caso: Contrapositiva (Inverte e nega ambas)

Portanto:

"(A ˅ B) → C" ficaria "~C → (~A ˄ ~B)"

-Segundo caso: Regra do Neon (Ou neymar) (Nega a antecedente, → vira ˅, mantem a consequente)

Portanto:

"(A ˅ B) → C" ficaria "(~A ˄ ~B) ˅ C" (Resposta da questão)

GABARITO C

NEYMAR

1ºNega a primeira parte

Negação de A v B é (~A ˄ ~B)

2ºTroca o Se então por Ou e Mantém

→ C ............ ˅ C.

SE ENTÃO (→)

• Negação: MANÉ = MAntém a primeira E NEga a segunda
• Equivalência: NEyMAr = NEga a primeira OU MAntém a segunda

Nega a primeira ou afirma a segunda.

A única hipótese de equivalência do "OU" (disjunção inclusiva) é o SENTOU NEYMAR.

Nega a primeira, troca o "OU" pelo "SE ENTÃO" e mantém a segunda.

O "E'' (conjução) que está dentro do parênteses vira "OU" porque tem que negar tudo que está dentro do parênteses, inclusive os conectivos, ou seja, aplica-se a lei de de morgan (o "ou" vira "e" e vice-versa)

Resultado: (A ˅ B) → C 

Gabarito: CERTO.