Através de valores lógicos de entrada para as proposições, uma fbf pode ser valorada em verdadeira ou falsa. Essa valoração precisa ser feita em pa...

Através de valores lógicos de entrada para as proposições, uma fbf pode ser valorada em verdadeira ou falsa. Essa valoração precisa ser feita em partes, assim como acontece em uma fórmula matemática, por exemplo (2 + 3) 4 . Primeiro é feita a adição entre os parênteses, que resulta em 5, na sequência é feita a multiplicação de 5 por 4, que resulta em 20, ou seja, o resultado da primeira parte é usado como entrada para a próxima operação. A mesma ideia deve ser usada para valorar uma fórmula proposicional, seguindo as regras de precedência dos operadores (GERSTING, 2017).

Neste contexto, avalie as seguintes asserções e a relação proposta entre elas.

I - Dada a seguinte combinação de entradas: A = F, B = F, C = V para as proposições A, B, C, a valoração da fórmula ¬A B ¬C é falsa.→ ∧

PORQUE

II - Primeiro devem ser resolvidas as negações, que inverterão o resultado das entradas para as proposições, em seguida deve ser resolvida a implicação lógica e, por fim, a conjunção entre os resultados.

A respeito dessas asserções, assinale a alternativa correta:


a) As asserções I e II são proposições verdadeiras, mas a II não justifica a I.
b) As asserções I e II são proposições verdadeiras e a II justifica a I.
c) A asserção I é uma proposição verdadeira e a II, falsa.
d) A asserção I é uma proposição falsa e a II, verdadeira.
e) As asserções I e II são proposições falsas.