Expreesse cada uma das proposições matemáticas abaixo usando predicados, quantificadores, conectivos lógicos e operadores matemáticos.
Um número real negativo não tem uma raiz quadrada que seja um número real.
Um número real negativo não tem uma raiz quadrada que seja um número real.
Passo 1
O enunciado pede para formalizar, em lógica de predicados, a afirmação “um número real negativo não tem raiz quadrada que seja um número real”. Vamos usar quantificadores universais e existenciais, conectivos lógicos (→, ¬) e o operador de potência ao quadrado, considerando implicitamente que todas as variáveis variam em
.
Passo 2
Para todo
real, se
então não existe
real tal que
. Em símbolos: