Se A, B e C são proposições simples verdadeiras, então o valor lógico de (A  C)  (B  C) será: A) Contraditório. B) Mentiroso. C) Falso. D) Ve...

Para resolver essa questão, podemos utilizar as leis de De Morgan e a tabela verdade do conectivo condicional. Primeiro, aplicando a lei de De Morgan, temos: (¬A ∧ C) → (¬B ∨ C) ¬(¬A ∧ C) ∨ (¬B ∨ C) (aplicando a lei de De Morgan novamente) (¬¬A ∨ ¬C) ∨ (¬B ∨ C) (aplicando a lei de dupla negação) (A ∨ ¬C) ∨ (¬B ∨ C) Agora, podemos montar a tabela verdade do conectivo condicional: A | B | C | ¬C | A ∨ ¬C | ¬B ∨ C | (¬A ∧ C) → (¬B ∨ C) V | V | V | F | V | V | V V | V | F | V | V | V | V V | F | V | F | V | V | V V | F | F | V | V | V | V F | V | V | F | F | V | V F | V | F | V | V | V | V F | F | V | F | F | V | V F | F | F | V | V | V | V Como podemos ver na tabela verdade, a expressão (¬A ∧ C) → (¬B ∨ C) é sempre verdadeira, portanto a alternativa correta é a letra D) Verdadeiro.