Question

Qual o valor verdade de cada uma das wffs na interpretação onde o dommínio

consite nos números inteiros?



a) (∃y)(∀x)(x + y = x)


b) (∃y)(∀x)(x + y = 0)


c) (∀x)(x² > 0)​

Answer 1

a) Verdadeiro.

x + y = x

y = x - x

y = 0  (y é inteiro)

Existe um y, tal que para qualquer x: x + y = x (V)

b) Falso.

x + y = 0

x = -y

Por exemplo:  y = 3, x = -3 (único x e não para qualquer x)

Não existe um y, tal que para qualquer x: x + y = 0.

c) Falso.

Se x = 0 (x é inteiro) x² = 0 e não x² > 0