Question

Dentro da lógica proposicional, temos as proposições, que são afirmações lógicas que cabem valores de V ou F e os conectivos, que fazem a conexão entre uma ou mais proposição tornando-as proposições compostas. Mas nem todas as frases podem ser escritas com os conectivos: ¬, ∧, ∨, →, ↔,. . . E, portanto, necessitamos dos quantificadores. De maneira análoga ao que acontece com enunciados formados por meio de conectivos, na prática, dependendo de como entendemos o significado de um enunciado quantificado, ele pode ser simbolizado de mais de uma maneira. Seja a frase: Não é verdade que Maria é dentista ou João é engenheiro A negação, mais apropriada para a frase dada acima é:

Answer 1

A respeito de proposições, pode-se afirmar que a alternativa 4 está correta.

Sobre Lógica Proposicional

Na lógica, chama-se proposições sentenças declarativas (afirmativa ou negativa) que admitem apenas um entre dois valores lógicos (V, verdadeiro; ou F, falso).

A lógica proposicional, então, é um sistema formal composto por fórmulas que representam as proposições apresentadas, formadas a partir da utilização de regras de derivação e dos chamados conectivos lógicos.

No caso em questão, tem-se uma proposição disjuntiva (de formato p ou q). Para encontrar a negação de uma proposição deste tipo, deve-se:

1. Negar a primeira proposição
2. Negar a segunda proposição
3. Trocar a conjunção ''OU'' pela conjunção ''E''

Dessa forma, chega-se ao seguinte resultado:

• Não é verdade que Maria é dentista ⇒ Maria não é dentista
• João é engenheiro ⇒ João não é engenheiro
• OU ⇒ E

Chega-se, portanto, à seguinte negação: "Maria não é dentista e João não é engenheiro".

*Completando a questão*

A negação, mais apropriada para a frase dada acima é:

Alternativa 1) Maria é dentista se e somente se João não é engenheiro.

Alternativa 2) Maria é dentista se e somente se João é engenheiro.

Alternativa 3) Não Maria é dentista ou João não é engenheiro.

Alternativa 4) Maria não é dentista e João não é engenheiro.

Alternativa 5) Maria não é dentista ou João não é engenheiro.

Aprenda mais sobre proposições em: brainly.com.br/tarefa/21040679

#SPJ4