Lógica en la Universitat Jaume I (UJI) — ejercicios con la notación de tu clase
Estos son los símbolos con los que se escribe la lógica en la Universitat Jaume I (UJI), 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 |
|---|---|---|---|---|---|---|---|
| Matemàtiques II | Grau en Enginyeria Informàtica | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
| Matemàtiques II | Grau en Matemàtica Computacional | ∼ | ∧ | ∨ | ⊃ | ≡ | Ejercicios |
Otros símbolos que se usan en la Universitat Jaume I (UJI)
- Falso / Falsum / Contradicción: 0 / F
- Verdadero / Verum: 1 / T
- Cuantificador Universal: ∀
- 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
- ∼ Negación: Tilde ondulada (∼) · Russell-Whitehead
- ⊃ Condicional (Implicación material): Herradura/Superset (⊃) · Russell-Whitehead/PM
- ≡ Bicondicional (Equivalencia material): Equivalencia (≡) · Tradición europea
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 Universitat Jaume I (UJI), sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de la Universitat Jaume I (UJI)
¿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.