Lógica en la Universidad de Valencia — 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 Valencia, 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 Filosofía | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica y Teoría de la Argumentación | Grado en Filosofía | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Matemática discreta y lógica | Grado en Ingeniería Informática | ¬ | ∧ | ∨ | ⇒ | ≡ | Ejercicios |
Quién la imparte en el curso 2026-27: Almagro Holgado Manuel (Lógica y Teoría de la Argumentación), sin confirmar · Perez Suay Adrian (Matemática discreta y lógica), sin confirmar.
Otros símbolos que se usan en la Universidad de Valencia
- Cuantificador Universal: ∀
- Cuantificador Existencial: ∃
De dónde viene esta notación
Manual que fija esta notación, asignatura por asignatura:
- Lógica: Falguera, J.L. y Martínez Vidal, C. (1999). Lógica Clásica de Primer Orden, Trotta — tradición Estándar tipo Peano-Russell con →/↔ (¬,∧,∨,→,↔,∀,∃,⊢,⊨). Procedencia: verificada sobre el manual.
- Lógica y Teoría de la Argumentación: Badesa/Jané/Jansana — tradición Badesa/Jané/Jansana. Procedencia: verificada sobre el manual.
- Matemática discreta y lógica: Ferri, F.J. (2020). Matemàtica Discreta i Lògica — tradición Estándar con ⇒/⇔ (¬,∧,∨,⇒,⇔,∀,∃,⊢). 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
- ⇒ Condicional (Implicación material): Flecha doble (⇒) · Implicación fuerte
- ≡ Bicondicional (Equivalencia material): Equivalencia (≡) · Tradición europea
Practica con estos símbolos
Los ejercicios se muestran directamente en la notación de la Universidad de Valencia, sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universidad de Valencia
¿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.