Transforme as seguintes sentenças abertas em proposições verdadeiras usando quantificadores:
-(-x)=x

Passo 1

O enunciado pede para transformar a sentença aberta -(-x)=x em uma proposição verdadeira usando quantificadores. Aqui o conteúdo é quantificação em lógica de predicados: como indicar que uma propriedade vale para todos os elementos de um domínio.

Passo 2

A propriedade “ -(-x)=x” é válida para qualquer número real x. Para torná-la uma proposição, basta prefixar com o quantificador universal sobre o domínio dos reais.

Resposta

forall x in R,;-(-x)=x

Exercícios de Livros Relacionados