Av2 - Lógica Computacional
1) As expressões lógicas, também chamadas de fórmulas, são como fórmulas
matemáticas. Assim, se existem regras para escrever uma fórmula matemática, também
existem para escrever fórmulas do cálculo proposicional. Quando uma fórmula
proposicional é escrita corretamente, ela é chamada de fórmula bem-formulada.
Nesse contexto, analise as proposições a seguir:
%
I.%
II.%
III.%
IV.%
É correto o que se afirma em:
Alternativas:
a) I e II, apenas.
b) III, apenas.
c) IV, apenas.
d) II, III e IV, apenas. Alternativa assinalada
e) I, apenas.
2)Através de valores lógicos de entrada para as proposições, uma fbf pode ser valorada
em verdadeira ou falsa. Nesse contexto, associe os itens da figura 1, a seguir:
%
Figura 1 – Fórmula proposicional
Fonte: Adaptado de SCHEFFER, V.C. Fundamentos da lógica – conectivos e classificação
textual, p. 12.
%
