Question

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ênciaiii. 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:

Answer 1

Sobre lógica proposicional, está correta a alternativa C) I e II, apenas.

Análise das afirmações sobre lógica proposicional:

• I - A primeira assertiva está CORRETA, dado que uma fórmula é um argumento quando ela possui um aglomerado de proposições.

• II - A segunda assertiva está CORRETA, uma vez que uma sequência de demonstração caracteriza-se como uma sequência de fbfs onde cada fbf é compreendido como uma hipótese ou resultado.

• III - A terceira assertiva está ERRADA, porque as regras de inferência não serão usadas no momento em que uma fbf pode ser substituída por outra.

Veja mais sobre lógica proposicional:

https://brainly.com.br/tarefa/21085067

#SPJ1