No hay una sola manera de escribir la negación o el condicional: cada facultad hereda la suya del manual que prescribe. Este es el atlas de lo censado hasta hoy —62 universidades con notación registrada— con la tradición que sigue cada una y el enlace a su ficha, donde están sus símbolos uno por uno.

Ninguna universidad casa con lo que buscas. Prueba con menos letras, o mira si está entre las que aún nadie ha censado, más abajo.

Cómo se reparte el mapa

De las 62 universidades con notación censada, 59 tienen ya tradición reconocible. Así se reparten:

• Estándar español: 39 universidades. Badesa, Jané y Jansana, «Elementos de lógica formal» (Ariel).
• Rosen: 18 universidades. K. Rosen, «Matemática discreta y sus aplicaciones».
• Deaño: 11 universidades. A. Deaño, «Introducción a la lógica formal» (Alianza).
• Herradura: 3 universidades. Uso mixto: conectivas del canon español con el condicional de Principia.
• Copi: 2 universidades. I. M. Copi, «Lógica simbólica» (CECSA).
• Lemmon: 1 universidad. E. J. Lemmon, «Beginning Logic».

La tradición no se apunta a mano: se calcula de los símbolos censados de cada asignatura, por sus discriminadores. Lo que distingue a una facultad de otra no son las conectivas —casi toda España escribe igual la conjunción y la disyunción—, sino la cuña grande de Deaño, la uve minúscula de Lemmon, el punto de Quine o la herradura de Copi.

La frontera del cuantificador: ⋀x no es ∧

Es la línea que parte el mapa en dos, y la que más caro sale confundir.

• La tradición filosófica española —Deaño, y por tanto la UNED— escribe el cuantificador universal con la cuña grande ⋀x y el existencial con ⋁x.
• La tradición matemática e informática —Rosen, y casi toda la Matemática Discreta— escribe ∀x y ∃x.
• La tradición clásica —Frege, Principia, Quine, Copi, Lemmon— no usa ningún símbolo universal: cuantifica con paréntesis, (x) y (∃x).

El peligro es tipográfico: ⋀ (cuña grande, cuantificador) se parece demasiado a ∧ (cuña pequeña, conjunción). Son símbolos distintos: quien los confunde no comete una errata, escribe otra fórmula.

Los dialectos: lo que hay que mirar dos veces

Dentro de una misma tradición hay facultades que se apartan en un detalle. Estos son los que aparecen en el censo.

• Flecha doble —⇒ ⇔— en vez de la simple → ↔. Es la costumbre de buena parte de la matemática: la flecha doble marca ahí la implicación, aunque en el lenguaje objeto de la lógica sea exactamente el mismo condicional.
• Herradura sin bicondicional —⊃ como condicional, y ningún símbolo para el bicondicional—. Es el caso de la Universidad de Navarra: el bicondicional se escribe desplegado, como conjunción de dos condicionales, porque el curso lo trata como abreviatura y no como conectiva primitiva.
• La tilde de Principia —∼ en vez de ¬—. Los propios manuales españoles la CITAN como «notación de los Principia», ajena a su texto; y hay facultades que la adoptan.
• Cuantificador entre paréntesis —(x), (∃x)— con conectivas por lo demás modernas. Un alumno que venga de ahí ve (x) donde el material de clase escribe ∀x.
• Valores 1/0 en vez de V/F o T/F. Deaño usa 1 y 0; Badesa, V/F; Rosen y forall x, T/F. Es el discriminador más silencioso de todos: cambia la tabla de verdad entera de aspecto sin cambiar una sola conectiva.

Aún sin censar (38)

Nadie ha dicho todavía qué símbolos se usan en estas. Si estudias en una, puedes estrenarla tú desde su ficha, sin cuenta y en un minuto.

• Católica de Valencia San Vicente Mártir
• ESIC Universidad
• IE Universidad
• Internacional Isabel I de Castilla
• Universidad Autónoma de Barcelona
• Universidad Cardenal Herrera-CEU
• Universidad Católica Santa Teresa de Jesús de Avila
• Universidad de Barcelona
• Universidad de Cantabria
• Universidad de Cádiz
• Universidad de Diseño, Innovación y Tecnología (UDIT)
• Universidad de Extremadura
• Universidad de Girona
• Universidad de Huelva
• Universidad de las Hespérides
• Universidad del Atlántico Medio
• Universidad de León
• Universidad de Lleida
• Universidad de Vic-Universidad Central de Cataluña
• Universidad de Vigo
• Universidade de A Coruña
• Universidad Europea de Canarias
• Universidad Europea de Valencia
• Universidad Fernando Pessoa-Canarias (UFP-C)
• Universidad Francisco de Vitoria
• Universidad Intercontinental de la Empresa
• Universidad Internacional de Andalucía
• Universidad Internacional de Catalunya
• Universidad Internacional de la Empresa
• Universidad Internacional Villanueva
• Universidad Jaume I de Castellón
• Universidad Loyola Andalucía
• Universidad Pablo de Olavide
• Universidad Politécnica de Catalunya
• Universidad Pompeu Fabra
• Universidad Rovira I Virgili
• Universidad San Pablo-CEU
• Universitat de València (Estudi General)

Traductor de notaciones · Fichas de notación por universidad · Ejercicios en tu notación