Lógica en CUNEF Universidad — ejercicios con la notación de tu clase
Estos son los símbolos con los que se escribe la lógica en CUNEF Universidad, 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 Ingeniería Informática / Doble Grado en Inteligencia Artificial y Ciencia de Datos | ¬ | ∧ | ∨ | → | ⇔ | Ejercicios |
| Matemática Discreta | Grado en Ingeniería Informática / Doble Grado en IA y Ciencia de Datos / Grado en Ingeniería Matemática (este último sin asignatura de Lógica) | ¬ | ∧ | ∨ | → | ↔ | Ejercicios |
Otros símbolos que se usan en CUNEF Universidad
- Falso / Falsum / Contradicción: 0 / ⊥
- Verdadero / Verum: 1 / ⊤
- NOR (Negación de disyunción / Flecha de Peirce): ↓
- NAND (Negación de conjunción / Barra de Sheffer): ↑
- Unión de conjuntos: ∪
- Porque / Dado que: ∵
- Identidad: =
- Necesidad (Modal): □
- Conclusión / Por tanto: ∴
- Diferencia de conjuntos: ∖
- Paréntesis de agrupación: ( )
- Complemento de un conjunto: A'
- Pertenencia: ∈
- Posibilidad (Modal): ◇
- Subconjunto: ⊆
- Intersección de conjuntos: ∩
- No identidad / Distinción: ≠
- Conjunto vacío: ∅
- No pertenencia: ∉
- Valores de verdad: 1/0
- Diferencia simétrica: △
- Disyunción exclusiva (XOR): ⊕
- Negación del condicional: ↛
- Cuantificador de Unicidad: ∃!
- Variables individuales: x, y, z...
- Constantes individuales: a, b, c...
- Cuantificador Universal: ∀
- Cuantificador Existencial: ∃
- Variables proposicionales: p, q, r, s...
Notación provisional
La notación de Matemática Discreta nos la aportó un alumno y todavía no la hemos verificado contra el manual de la asignatura. La servimos para que la clase no se quede sin nada, pero contrástala con tu profesor. ¿Sabes que no es así? Dínoslo desde el selector de arriba y lo corregimos.
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): Doble flecha gruesa (⇔) · Equivalencia fuerte
- ↔ 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 CUNEF Universidad, sin cuenta y sin instalar nada.
Ir a los ejercicios en la notación de CUNEF Universidad
¿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.