Lógica, perguntado por lucianolucena45, 10 meses atrás

Em um dia nublado, Seu João disse: “se as nuvens estão carregadas, então pode chover”. A negação dessa proposição é, logicamente, equivalente a:

Soluções para a tarefa

Respondido por rebecaestivaletesanc
9

Resposta:

"as nuvens estão carregadas e não pode chover”.

Explicação:

a negação de ~(p → q) é p ^ ~q

(p → q) “se as nuvens estão carregadas, então pode chover”.

(p ^ ~q) "as nuvens estão carregadas e não pode chover”.

Respondido por anaclaudialara
2

A negação da proposição "se as nuvens estão carregadas, então pode chover" é: As nuvens estão carregadas e não pode chover.

Proposições Lógicas

São frases que utilizam a linguagem formal e que apresentam um pensamento completo, ou seja, que pode ser analisado como sendo verdadeiro ou falso. Elas têm:

  • Sujeito + predicado

Obs.: elas não seguem a lógica da língua portuguesa ou da vivência diária. É uma lógica matemática.

As proposições podem ser simples (ter apenas um pensamento) ou compostas (ter mais de um pensamento). No exemplo dado na questão, temos uma proposição composta.

As proposições podem ser representadas por letras.

Ex.:

  • Se as nuvens estão carregadas, = A;
  • então pode chover. = B.

E as partes que ligam as frases compostas são representadas pelos operadores lógicos:

  • e = conjunção:
  • ou = disjunção inclusiva:
  • ou...ou = disjunção exclusiva: v
  • se...então = condicional: ⇒
  • se, e somente se = bicondicional: ⇔
  • não = negação: ~ ou ¬

Na questão, vemos que a proposição é uma condicional, já que usa o "se....., então". Escrevendo com os operadores lógicos e as letras, temos:

  • Se as nuvens estão carregadas, então pode chover”: (A ⇒ B).

A negação é feita com o contrário de cada operador lógico. O contrário da condicional é a conjunção (∧), na seguinte lógica: repete o primeiro E nega o segundo = (A ∧ ¬ B). Fazendo isso, temos:

  • Repete o primeiro, tirando o "se": As nuvens estão carregadas;
  • acrescenta a conjunção: E
  • Nega o segundo, tirando o "então": não pode chover.

Resultado: As nuvens estão carregadas e não pode chover.

Para saber mais sobre lógica, acesse: brainly.com.br/tarefa/22668196

Anexos:
Perguntas interessantes