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:
Soluções para a tarefa
Respondido por
3
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
Anexos:
Perguntas interessantes