Lógica en la Universidad de Valladolid — 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 Valladolid, 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.

Notación de lógica en la Universidad de Valladolid
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
Matemática Discreta Grado en Ingeniería Informática ¬ Ejercicios

Quién la imparte en el curso 2025-26: Sandra María López Velasco (Lógica I, Lógica II) · María del Carmen Martínez Martínez (Matemática Discreta).

Otros símbolos que se usan en la Universidad de Valladolid

  • Cuantificador Universal:
  • Cuantificador Existencial:
  • Falso / Falsum / Contradicción: F
  • Verdadero / Verum: T

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: Badesa/Jané/Jansana — tradición Badesa/Jané/Jansana. Procedencia: verificada sobre el manual.
  • Matemática Discreta: Rosen — tradición Rosen (informática). 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 de Valladolid, sin cuenta y sin instalar nada.

Ir a los ejercicios en la notación de la Universidad de Valladolid

¿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.

← Todas las universidades y su notación de lógica