Buenas tardes, me cuesta un poco esto de dar valida o refutar os predicados. Especialmente este ejercicio,
Para la siguiente proposición definida en A = {0, 2, 13, 5, 6, 170, 26} se pide analizar el valor de verdad:
\( \forall{x}\exists{y}:(x^2=2k+1\Rightarrow{y=x+2)} \textrm{ con k} \in{Z} \)
Si tomo, por ejemplo, el primer elemento del conjunto A:
\( P(0)=0^2 = 2K + 1 \)
\( K=-\displaystyle\frac{1}{2} \)
\( K\not\in{Z\Rightarrow{\sim{[\forall{x \exists{y}p(x)]}}}} \)
Podria ser?
Mil gracias de antemano!