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.
Soluções para a tarefa
Respondido por
24
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
Anexos:
Perguntas interessantes