Propiedades de una operación

Idea general:
Vamos a actuar como detectives matemáticos. Exploraremos cómo se comportan algunas operaciones definidas sobre un conjunto pequeño. La idea es observar patrones, completar tablas y responder preguntas a partir de lo que vemos.
Sea el conjunto:

S = {0, 1, 2}

Operación 1: Suma módulo 3 (⊕)

Definición:
La operación a ⊕ b se define como la suma habitual de a y b, pero si el resultado es 3 o más, le restamos 3 hasta volver al conjunto S.
Ejemplos:
1 ⊕ 2 = 0
2 ⊕ 2 = 1
⊕ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
Preguntas de investigación:

  1. ¿Se sale del conjunto?
  2. ¿El orden importa?
  3. ¿Existe un elemento neutro?
  4. ¿Tiene inversos?

Operación 2: Máximo (⊗)

Definición:
La operación a ⊗ b devuelve simplemente el número mayor entre a y b.
Ejemplos:
1 ⊗ 2 = 2
2 ⊗ 2 = 2
⊗ 0 1 2
0 0 1 2
1 1 1 2
2 2 2 2
Preguntas de investigación:

  1. ¿Se sale del conjunto?
  2. ¿El orden importa?
  3. ¿Existe un elemento neutro?
  4. ¿Tiene inversos?

Operación 3: Proyección izquierda (⊙)

Definición:
La operación a ⊙ b ignora el segundo número y siempre devuelve el primero.
Ejemplos:
1 ⊙ 2 = 1
2 ⊙ 0 = 2
⊙ 0 1 2
0 0 0 0
1 1 1 1
2 2 2 2
Preguntas de investigación:

  1. ¿Se sale del conjunto?
  2. ¿El orden importa?
  3. ¿Existe un elemento neutro?
  4. ¿Tiene inversos?

Pregunta de reflexión final

Reflexiona:
Después de investigar las tres operaciones, ¿cuál te parece más ordenada o más predecible? ¿Qué propiedades encontraste que hacen que se comporte así?
Resumen:
Cada operación puede analizarse observando su tabla. A partir de ahí se puede investigar si es cerrada, conmutativa, si tiene elemento neutro y si tiene inversos.

Ejercicios: Operaciones en S = {0,1,2}

Instrucción: Analiza la tabla antes de responder. No adivines.

Ejercicio 1:
Calcula: 2 ⊕ 1
Pista: Usa módulo 3.
Ver respuesta
2 ⊕ 1 = 0

Ejercicio 2:
Calcula: 1 ⊗ 0
Pista: Es el mayor.
Ver respuesta
1 ⊗ 0 = 1

Ejercicio 3:
Calcula: 2 ⊙ 1
Pista: Devuelve el primero.
Ver respuesta
2 ⊙ 1 = 2

Ejercicio 4:
¿La operación ⊕ es conmutativa?
Pista: Compara filas y columnas.
Ver respuesta
Sí, porque a ⊕ b = b ⊕ a.

Ejercicio 5:
¿La operación ⊙ es conmutativa?
Pista: Compara 1 ⊙ 2 y 2 ⊙ 1.
Ver respuesta
No, porque 1 ⊙ 2 ≠ 2 ⊙ 1.

Ejercicio 6:
Encuentra el elemento neutro de ⊕.
Pista: a ⊕ e = a.
Ver respuesta
El neutro es 0.

Ejercicio 7:
¿La operación ⊗ tiene elemento neutro?
Pista: Busca un número que no cambie el resultado.
Ver respuesta
Sí, el neutro es 0.

Ejercicio 8:
¿La operación ⊙ tiene elemento neutro?
Pista: Debe funcionar por ambos lados.
Ver respuesta
No existe elemento neutro.

Ejercicio 9:
¿La operación ⊕ tiene inversos?
Pista: Busca a ⊕ b = 0.
Ver respuesta
Sí, todos tienen inverso.

Ejercicio 10:
¿Cuál operación es más “ordenada”?
Pista: Piensa en propiedades.
Ver respuesta
⊕ es la más estructurada porque cumple varias propiedades (tipo grupo).

Implicación en Gráficos Existenciales

Idea clave:
La implicación p → q se representa como:

¬p ∨ q

En gráficos existenciales, esto se interpreta como una estructura con negación.

Ejercicio 1:
Representa la implicación p → q como expresión lógica equivalente.
Pista: La implicación no se dibuja directamente.
Ver respuesta
p → q ≡ ¬p ∨ q

Ejercicio 2:
Si tienes una burbuja que contiene p, ¿qué representa?
Pista: La burbuja niega.
Ver respuesta
Representa ¬p

Ejercicio 3:
¿Cómo representarías ¬p ∨ q en un gráfico existencial?
Pista: Usa una burbuja y un elemento fuera.
Ver respuesta
Se dibuja una burbuja con p dentro (¬p) y q fuera en la misma región.

Ejercicio 4:
¿El gráfico con p dentro de una burbuja y q afuera representa una implicación?
Pista: Relaciona con ¬p ∨ q.
Ver respuesta
Sí.

Representa ¬p ∨ q, que es equivalente a p → q.

Ejercicio 5:
Transforma el gráfico que representa p → q usando doble corte.
Pista: Aplica (( )) = nada.
Ver respuesta
Se puede introducir doble negación sin cambiar el significado, para reorganizar el gráfico.

Ejercicio 6:
¿La contraposición se puede ver en gráficos existenciales?
Pista: Cambia lo que está dentro y fuera de la burbuja.
Ver respuesta
Sí.

La contraposición corresponde a reorganizar la estructura de negaciones en el gráfico.

Ejercicio 7:
¿Es correcto dibujar p → q como dos elementos separados sin burbujas?
Pista: Falta la negación.
Ver respuesta
No.

La implicación necesita una estructura con negación.

Conclusión:
La implicación en gráficos existenciales no se dibuja directamente, sino a través de su equivalencia lógica.

Evaluación: Implicación y Gráficos Existenciales

Instrucciones:
Responde sin usar la solución. Justifica cuando sea necesario.

Parte A: Conceptual

1. Expresa la implicación p → q como una disyunción.
2. Escribe la contraposición de p → q.
3. ¿Cuándo es falsa una implicación?
4. ¿p → q es equivalente a q → p? Justifica.

Parte B: Aplicación

5. Si p es verdadera y q es falsa, evalúa p → q.
6. Si p es falsa, ¿qué ocurre con p → q?
7. Expresa p ↔ q usando implicaciones.

Parte C: Gráficos Existenciales

8. ¿Cómo se representa ¬p en un gráfico existencial?
9. Describe cómo representarías p → q en gráficos existenciales.
10. ¿Se puede representar una implicación sin burbujas? Explica.

Parte D: Análisis

11. Explica por qué ¬q → ¬p es equivalente a p → q.
12. Un estudiante dibuja p → q como dos letras separadas sin burbujas. ¿Está correcto? Justifica.

Soluciones

Ver soluciones

1. ¬p ∨ q

2. ¬q → ¬p

3. Cuando p es verdadera y q es falsa

4. No, no son equivalentes

5. Falso

6. Siempre verdadera

7. (p → q) ∧ (q → p)

8. Una burbuja que contiene p

9. Como ¬p ∨ q (burbuja con p y q fuera)

10. No, porque falta la negación

11. Es la contraposición, mantiene el mismo valor lógico

12. No, falta la estructura de negación

Nota:
Esta evaluación mide comprensión conceptual, no solo memoria.