Lógica en la Universidad Autónoma 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 Autónoma 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 |
|---|---|---|---|---|---|---|---|
| Estructuras Discretas y Lógica | Grado en Ingeniería Informática (EPS) | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica Formal | Grado en Filosofía | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica y Matemática Discreta | Grado en Ingeniería de Datos (EPS) | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
Otros símbolos que se usan en la Universidad Autónoma de Madrid
- Falso / Falsum / Contradicción: F
- Verdadero / Verum: T
- Cuantificador Universal: (x) / ∀
- Cuantificador Existencial: ∃
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 Autónoma de Madrid, sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universidad Autónoma 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.