+1 voto
por
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)

1 Respuesta

0 votos
por
En este caso exactamente a eso se refiere, no es error de dedo
Bienvenido a 2Epsilon, donde puedes hacer preguntas y recibir respuestas de otros miembros de la comunidad. No se vale poner soluciones, solo sugerencias para ayudar a los compañeros.
...