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 é:

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

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

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

( ) Maria não é dentista e João não é engenheiro.

( ) Maria não é dentista ou João não é engenheiro.

​

Answer 1

A negação da frase "Não é verdade que Maria é dentista ou João é engenheiro"  é "Maria não é dentista ou João não é engenheiro.", portanto, a alternativa correta é a alternativa 5.

Como negar o conectivo "e" na lógica proposicional?

Para negar uma proposição que é composta com a ligação através do conectivo "e", é preciso negar ambas as proposições individuais e trocar o conectivo "e" por "ou", conforme feito, afirmando na negação que maria não é dentista ou João não é engenheiro.

A lógica proposicional é muito importante para analisar a lógica entre proposições.

Saiba mais sobre lógica proposicional: https://brainly.com.br/tarefa/21085067

#SPJ1