Lógica en la Universidad Complutense de Madrid — ejercicios con la notación de tu clase
Estos son los símbolos con los que se escribe la lógica en la Universidad Complutense de Madrid, 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 I | Grado en Filosofía | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica II | Grado en Filosofía | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica Matemática | Grado en Ingeniería de Datos e IA / Grado en Matemáticas | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Matemática Discreta y Lógica Matemática I | Grado en Ingeniería Informática | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Matemática Discreta y Lógica Matemática II | Grado en Ingeniería Informática | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
Quién la imparte en el curso 2025-26: Juan Antonio Fernández Manzano (Lógica I, Lógica II), sin confirmar · Francisco Javier Gállego Rodrigo (Lógica Matemática), sin confirmar · Francisco Javier Lopez Fraguas (Matemática Discreta y Lógica Matemática I), sin confirmar · Antonio Javier Gavilanes Franco (Matemática Discreta y Lógica Matemática II), sin confirmar.
Otros símbolos que se usan en la Universidad Complutense de Madrid
- Cuantificador Universal: ∀ / ⋀x
- Cuantificador Existencial: ∃ / ⋁x
De dónde viene esta notación
Manual que fija esta notación, asignatura por asignatura:
- Lógica I: Badesa/Jané/Jansana — tradición Badesa/Jané/Jansana. Procedencia: verificada sobre el manual.
- Lógica II: Deaño — tradición Deaño. Procedencia: verificada sobre el manual.
- Lógica Matemática: Hortalá, Lógica matemática para informáticos — tradición Hortalá. Procedencia: verificada sobre el manual.
- Matemática Discreta y Lógica Matemática I: Hortalá et al — tradición Hortalá. Procedencia: verificada sobre el manual.
- Matemática Discreta y Lógica Matemática II: Hortalá et al — tradición Hortalá. Procedencia: verificada sobre el manual.
- ¬ 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
Practica con estos símbolos
Los ejercicios se muestran directamente en la notación de la Universidad Complutense de Madrid, sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universidad Complutense de Madrid
¿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.