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
Respostas
Sendo a forma mais simples de lógica, os fatos do mundo são representados por sentenças sem argumentos, chamadas de proposições que pode ser qualificada de verdadeiro ou falso.
A resposta correta é a letra C).
Característica da lógica proposicional
- É necessário que entenda que no campo da lógica uma premissa de fato é uma das proposições que foram anteriores à conclusão de um argumento específico.
- Tem um argumento válido apenas quando as suas premissas possuem como resultado a conclusão, mas isso não é necessariamente obrigatório para que uma proposição possa ser entendida como uma premissa.
- Logo a única coisa que de fata é relevante, é seu lugar dentro do argumento e não em seu papel.
Enunciado completo
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:
Alternativas:
a) I, apenas.
b) II, apenas.
c) I e II, apenas.
d) II e III, apenas.
e) I, II e III.
Leia mais sobre lógica proposicional aqui:
https://brainly.com.br/tarefa/21085067
#SPJ9
Resposta:
Av2 - Lógica Computacional - Gabarito:
1 - d)
II, III e IV, apenas
2 - e)
3-1-2.
3 - c)
I e II, apenas
4 - b)
I - 2; II - 1; III - 3.
5 - b)
As asserções I e II são proposições verdadeiras e a II justifica a I.
Explicação:
Corrigido pelo AVA