Duda sobre demostración I2 2022-2, pregunta 2.
jisalasc opened this issue · comments
Tengo una pregunta, nos piden demostrar antisimetría en la pregunta de abajo, en la pauta se hace por demostración directa y lo entendí bien, mi pregunta es si podría demostrar eso por contradicción de manera que yo tome como verdadero a1 != a2 y b1 != b2, y llegar a un absurdo, o debo también hacer contradicción para el caso que a1 != a2 y b1 = b2 y analogamente?
muchas gracias.
Está bien de esa manera, pero tienes que llegar a dos contradicciones, una que te dice que a_1 = a_2 y otra que te diga que b_1 = b_2, ya que tienes que demostrar que ambos elementos de la tupla son iguales.
puedo hacer eso con 2 casos, en el que a1 != a2 y b1 != b2 con eso llego a que a1 = a2, y luego el caso en que a1 = a2 y b1 != b2, con eso llego a que b1 = b2, o debe ser en el mismo caso llegar a las 2 contradicciones?
Está bien, porque para demostrar que a_1 = a_2 asumiendo que son distintos no deberías necesitar alguna restricción para b_1 y b_2.