• Matéria: Informática
  • Autor: eliveltonfoxnet
  • Perguntado 3 anos atrás

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:

Respostas

respondido por: steniohmsilva
6

Analisando as proposições é correto o que se afirma II, III e IV, letra D.

Continuação do exercício

Nesse contexto, analise as proposições a seguir:

  • I. A →(B ∧C¬)
  • II. (A∧¬B)→C
  • III. C∧B→¬C
  • IV. B→(¬A)∧C

É correto o que se afirma em: Alternativas:

a) I e II, apenas.

b) III, apenas.

c) IV, apenas.

d) II, III e IV, apenas.

e) I, apenas.

Lógica Proposicional

Como dito no enunciado, na lógica proposicional as expressões são similares às formas matemáticas, portanto, há uma forma correta de escrevê-las. Sendo assim, analisando cada uma das expressões dada temos:

  • I. A →(B ∧C¬) - Está escrita de forma incorreta, pois o uso do símbolo de negação (¬) está colocado no lugar errado. Esse símbolo é usado antes de uma proposição de forma que nega aquela proposição, por exemplo ¬C, está negando a proposição C, contudo, usá-lo depois da proposição não faz sentido. Logo, expressão incorreta.
  • II. (A∧¬B)→C - Está escrita de forma correta, o uso da negação (¬) está antes da proposição B, de forma a negá-la e está definindo pelo parênteses que a expressão A ∧ ¬B, deve ser feita antes da condicional com C.
  • III. C∧B→¬C - Está escrito de forma correta também. Todos os símbolos estão colocados nos lugares certos.
  • IV. B→(¬A)∧C - Está escrito de forma correta. Separar a negação dos demais operadores lógicos com parênteses é uma forma de facilitar a leitura da expressão e também está correta.

Mais exercícios sobre lógica proposicional em:

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

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

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

#SPJ1

Anexos:

liliandonaduzzi: Perfeita resposta!
sorayacoutinho1: 2- e) 3, 1, 2.

3 c ) I E II apenas

4 b) I - 2; II - 1; III - 3.

5 As asserções I e II são proposições verdadeiras e a II justifica a I.
Perguntas similares