Lógica en la Universidad Rey Juan Carlos — ejercicios con la notación de tu clase
Estos son los símbolos con los que se escribe la lógica en la Universidad Rey Juan Carlos, 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 Ciencia, Gestión e Ingeniería de Servicios | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica | Grado en Ingeniería Informática / Grado en Matemáticas | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica | Grado en Ingeniería de la Ciberseguridad | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica Formal | Grado en Filosofía | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Lógica y Argumentación | Grado en Filosofía | ~ | · | ∨ | ⊃ | ≡ | Ejercicios |
Otros símbolos que se usan en la Universidad Rey Juan Carlos
- Cuantificador Universal: ∀ / (x)
- Cuantificador Existencial: ∃ / (∃x)
- Falso / Falsum / Contradicción: F
- Verdadero / Verum: V
De dónde viene esta notación
Manual que fija esta notación, asignatura por asignatura:
- Lógica: Badesa/Jané/Jansana + Manzano-Huertas — tradición Badesa/Jané/Jansana · Manzano-Huertas. Procedencia: verificada sobre el manual.
- Lógica: Gallinari, Apuntes y problemas de lógica matemática (URJC) — tradición Gallinari (URJC, informática) / Manzano-Huertas. Procedencia: verificada sobre el manual.
- Lógica: Arias, Lógica: desde Aristóteles hasta Prolog (Servicio de Publicaciones URJC, 2022) — tradición Arias (URJC: estándar moderna, LPO hasta Prolog) / Gallinari. Procedencia: verificada sobre el manual.
- Lógica Formal: Badesa/Jané/Jansana + Manzano-Huertas — tradición Badesa/Jané/Jansana · Manzano-Huertas. Procedencia: verificada sobre el manual.
- Lógica y Argumentación: Copi-Cohen, Introducción a la lógica (2013) — tradición Copi (mitad silogística) / aristotélico-escolástica. 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
- ~ Negación: Tilde (~) · Tradición anglosajona
- · Conjunción: Punto medio (·) · Álgebra de Boole
- ⊃ Condicional (Implicación material): Herradura/Superset (⊃) · Russell-Whitehead/PM
- ≡ Bicondicional (Equivalencia material): Equivalencia (≡) · Tradición europea
Practica con estos símbolos
Los ejercicios se muestran directamente en la notación de la Universidad Rey Juan Carlos, sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universidad Rey Juan Carlos
¿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.