Lógica en la Universidad de Granada — 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 Granada, 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 |
|---|---|---|---|---|---|---|---|
| La Lógica y su Filosofía | Grado en Filosofía | ~ | & | — | — | — | Ejercicios |
| Lógica | Grado en Filosofía | ~ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica y Métodos Discretos | Grado en Ingeniería Informática | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica y Programación | Grado en Ingeniería Informática | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
Quién la imparte en el curso 2026-27: María José Frápolli Sanz (La Lógica y su Filosofía), sin confirmar · Marta Fernández Naranjo (Lógica), sin confirmar.
Otros símbolos que se usan en la Universidad de Granada
- Cuantificador Universal: ∀
- Cuantificador Existencial: ∃
De dónde viene esta notación
Manual que fija esta notación, asignatura por asignatura:
- La Lógica y su Filosofía: Aliseda, A. (2014). La Lógica como Herramienta de la Razón — tradición Aliseda (informal/abductiva). Procedencia: derivada de la guía docente.
- Lógica: Sacristán, Manuel (1964). Introducción a la Lógica y al Análisis Formal — tradición Clásica de raíz Principia Mathematica/Quine, con tilde para la negación y cuantificador universal parentético (~,∧,∨,→,↔,(x)Px,∃x). Procedencia: verificada sobre el manual.
- Lógica y Métodos Discretos: Biggs / Grimaldi / Hortalá / García Miranda — tradición Biggs / Grimaldi / Hortalá. Procedencia: derivada de la guía docente.
- Lógica y Programación: Barendregt, Lambda Calculus — tradición Barendregt / Prolog. Procedencia: derivada de la guía docente.
- ~ Negación: Tilde (~) · Tradición anglosajona
- & Conjunción: Ampersand (&) · Tradición anglosajona
- ∧ 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
- ¬ Negación: Signo de negación (¬) · Estándar internacional
Practica con estos símbolos
Los ejercicios se muestran directamente en la notación de la Universidad de Granada, sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universidad de Granada
¿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.