Objetivos Transversales

Al final de la actividad, los estudiantes:

1. Distinguirán entre afirmaciones matemáticas cuantificadas y no cuantificadas.

2. Escribirán afirmaciones matemáticas utilizando uno o más cuantificadores (sin símbolos lógicos). Por ejemplo, escribirán "para todo x en ⟨Zn,+⟩, existe un y en ⟨Zn,+⟩ tal que x + y = 0."

3. Determinarán el valor de verdad de afirmaciones en estructuras finitas con uno o más cuantificadores interpretando las variables ligadas por elementos de la estructura.

Objetivos Específicos

Al final de la actividad, los estudiantes:

1. Usarán afirmaciones con dos cuantificadores para escribir que estructuras finitas con una operación tienen elemento identidad y elementos inversos (axiomas de grupo).

2. Reconocerán diferencias estructurales determinadas por la elección de n en estructuras Zn con la operación de suma y estructuras Zn* con la operación de multiplicación.