Lógica en la Universidad de Castilla-La Mancha (UCLM) — ejercicios con la notación de tu clase
Estos son los símbolos con los que se escribe la lógica en la Universidad de Castilla-La Mancha (UCLM), tal como los usan sus asignaturas. Los ejercicios de Academia LAP se reescriben con ellos: lo que practicas es lo mismo que verás en el examen.
| Asignatura | Grado | Negación | Conjunción | Disyunción (inclusiva) | Condicional (Implicación material) | Bicondicional (Equivalencia material) | Practicar |
|---|---|---|---|---|---|---|---|
| Lógica | Grado en Ingeniería Informática (CR) | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Álgebra y Matemática Discreta | Grado en Ingeniería Informática (CR) | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
Otros símbolos que se usan en la Universidad de Castilla-La Mancha (UCLM)
- Cuantificador Universal: ∧x / (x)
- Cuantificador Existencial: ∨x
- Falso / Falsum / Contradicción: F
- Verdadero / Verum: T
De dónde viene esta notación
- ¬ Negación: Signo de negación (¬) · Estándar internacional
- ∧ Conjunción: Cuña (∧) · Estándar internacional
- ∨ Disyunción (inclusiva): Cuña invertida (∨) · Estándar internacional
- → Condicional (Implicación material): Flecha derecha (→) · Estándar internacional
- ↔ Bicondicional (Equivalencia material): Flecha doble (↔) · Estándar internacional
El manual concreto que prescribe cada asignatura no consta todavía en el censo: lo verificado son los símbolos y la tradición de la que proceden.
Practica con estos símbolos
Los ejercicios se muestran directamente en la notación de la Universidad de Castilla-La Mancha (UCLM), sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universidad de Castilla-La Mancha (UCLM)
¿Quieres guardar el progreso y llevar el temario entero? Crea tu cuenta gratuita — la notación queda fijada en tu perfil.
¿No es exactamente la notación de tu clase? En los ejercicios puedes corregirla: se aplica al instante en tu navegador y nos llega el aviso para revisarla.