A lógica proposicional é composta por proposições e conectivos lógicos que permitem criar uma série de fórmulas, que quando escritas corretamente são chamadas de fbfs (fórmula bem formulada). Uma fbf é valorada em verdadeira (V) ou falsa (F), a partir da valoração das proposições com o conectivo lógico em questão, respeitando a ordem de precedência dos operadores lógicos. A valoração de uma fórmula também depende dos valores lógicos de entrada para cada uma das proposições. Com base em seu conhecimento à respeito de lógica proposicional, analise as afirmativas a seguir. I. Quando uma fórmula apresenta um conjunto de proposições, das quais uma delas é uma conclusão, dizemos que tal fórmula é um argumento. II. Uma sequência de demonstração e´ uma sequência de fbfs nas quais cada fbf e´ uma hipótese ou o resultado de se aplicar uma das regras de dedução do sistema formal a fbfs anteriores na sequência III. As regras de inferência serão usadas quando uma fbf (que pode ser uma hipótese ou resultado de uma regra) pode ser substituída por outra fbf, mantendo o resultado lógico. Neste contexto, é correto o que se afirma em: Selecione uma alternativa: a) I, apenas. B) II, apenas. C) I e II, apenas. D) II e III, apenas. E) I, II e III
Soluções para a tarefa
No que se refere à lógica proposicional, a alternativa correta é a letra C) I e II, apenas.
Lógica proposicional
Elas formam um conjunto de símbolos exigidos pela linguagem: a linguagem para a lógica. Na lógica proposicional não há símbolo para variáveis como entidades, mas há um símbolo para variáveis proposicionais.
As declarações são assim chamadas porque podem ser interpretadas como declarações com um valor de verdade definido.
Além do alfabeto e da sintaxe, a linguagem da lógica proposicional possui semântica relacionada aos valores de verdade do concerto. Os valores booleanos são representados por 'V' ou 'F' maiúsculo ou dígitos '1' e '0'. Isso permite que a lógica proposicional seja totalmente caracterizada por uma semântica muito simples.
Leia mais sobre lógica preposicional em: https://brainly.com.br/tarefa/53515238
#SPJ4