Hola. Al hacer la tarea 4, me percaté que en el punto 1, inciso b), la segunda proposición tiene su cuantificador existencial tachado. Además de eso, está siendo negada toda la proposición.
Buscando en los documentos de la sesión 4, me di cuenta de que hay un caso similar, donde es negada una proposición con el símbolo de "pertenece a". Al final, éste símbolo queda tachado, dando a entender que "no pertenece"
¿Pasa lo mismo en el caso de la tarea 4? ¿Si el cuantificador de existencia está tachado y luego es negado, estamos diciendo que "si existe"? ¿O fue solo un error de escritura?
Esta es la proposición a la que me refiero:
¬(∄x∈ℤ : ^2 ≠ 1 ⇒ ^2 + 1 ≠ 2)