Question

) Considere, no universo dos números naturais, os seguintes predicados:
p(x): “x é ímpar”
s(x,y): “y = x + 1”
q(x,y,z): “x = y2
+ z2
”
g) Dadas as proposições
(∀x)(∀y)(s(x,y) → p(x) ∨ p(y))
(∀x)(∃y)(p(y) ∧ s(x,y))
determine seus valores-verdade e expresse as respectivas negações;
h) Escreva em linguagem lógica, usando quantificadores e os predicados acima, a sentença “Todo número natural
ímpar é soma de dois quadrados”
[sugestão: escreva, antes, o predicado “x é soma de dois quadrados”].

Answer 1

Eleonora o professor João tem a resposta