¡Buscando respuestas a dos problemas de matemáticas discretas en el primer año! Deberes pendientes...

A continuación, A representa el cuantificador universal y E representa el cuantificador existencial.

1. Premisa: Ax(F(x)→G(x)), Ex(H(x)∧F(x))

Conclusión: Ex(H(x) ) )∧G(x))

Prueba:

(1)Ex(H(x)∧F(x))

(2)H ( c)∧F(c) (1)EI

(3)H(c) (2)Simplificación

(4)F(c) (2)Simplificación

(5)Introducir ax (f (x) → g (x))

(6)F(c)→G(c) (5)UI

(7)G(c) (4)(6) Razonamiento hipotético

(8)H(c)∧G(c)(3)(7) Conjunción

( 9 )Ex(H(x)∧G(x)) (8)EG

2, f(4)= <5,4>, f(-3)= <-2 , 3>

f es un solo disparo. Porque si f(x)=f(y), entonces

f no es sobreyectiva. Debido a que |x|≥0, si el segundo elemento de un par ordenado en Z × Z es negativo, no hay ningún elemento correspondiente en Z.