Anexo:Símbolos lógicos

En lógica, es común usar un conjunto de símbolos para representar una expresión lógica.
Esos símbolos no son explicados cada vez que son usados pues los lógicos ya son
estudiantes familiarizados de la lógica, la tabla a continuación lista los símbolos más comunes,
junto con su nombre, lectura y área de la matemática relacionada. La tercera columna
contiene una definición informal sobre el símbolo, y la cuarta columna oferta ejemplo.
Fuera del campo de la lógica, los diferentes símbolos tienen el mismo significado, y para un
mismo símbolo, dependiendo de su contexto, sus significados pueden ser diferentes.

Índice
[ocultar]

 1Símbolos lógicos básicos

 2Estándar unicode para los símbolos
o 2.1Polonia y Alemania
 3Véase también
 4Nota
 5Referencias
 6Lecturas complemetarias
 7Enlaces externos

Símbolos lógicos básicos[editar]

Entid
Leer como ad Símbolo
Valor
Símb
Explicación Ejemplos
olo HTM LaTeX
Categoría unicode L

condicional A ⇒ B es verdad
(implicación) (en 3 de las 4
implica, posibilidades)
ambos falsos,
ambos verdaderos
⇒ si .. entonces o B verdadero x = 2 ⇒ x2 = 4
es verdadero,
&rAr \Rightarr
r; ow
pero x2 = U+21D2
4 ⇒ x = 2 es,
→ puede considerando
significar lo todas las &rar \to
mismo que ⇒ U+2192
→ lógica (pues existe otro
posibilidades
falso
U+2283
r;

proposicional, caso donde él (considerando &sup \supset

álgebra de indica la relación que el x podría ;
⊃ Heyting entre dominio y
contra dominio de
ser también −2).

una función; \implies

véase tabla de
símbolos
matemáticos).
 ⊃ puede significar
lo mismo que ⇒
(pues existe otro
caso donde
indica subconjunto
).

si y solamente
si (sse) A ⇔ B es verdad
⇔ si y solo si; sse solo si A y B
fueran falsos
&hA
\Leftright
arrow
rr;
U+21D4
o A y B fueran
verdadero. x+5=y+2 ⇔
&equ \equiv
x+3=y U+2261
≡ lógica A<->B es verdad
proposicional cuando U+2194
iv;

&har \leftrighta
( A -> B & B ->
r; rrow
A)
↔ es verdad
\iff
negación
¬ negado
&not
¬(¬A) ⇔ A U+00AC ;
La proposición
\lnot
¬A es verdadera si
o \neg
y solamente si A x ≠ y ⇔ ¬(x = y
˜ lógica
proposicional
es falso. ) U+02DC &tild
e; ~ \sim

!
conjunción
∧ logica
y (and) &and
La
n< U+2227 ;
proposición A ∧ B
4 ∧ n >2 ⇔ n \wedge o
lógica es verdadera
= 3 cuando n es \land
proposicional, si A e B son ambos
• verdaderos; sino
es falso.
un número
natural.
U+0026 &am
p; \&nota 1
Álgebra
booleana
&
disyunción
La n≥4 ∨ n≤
lógica U+2228 &or;
proposición A ∨ B 2 ⇔n≠3
(inclusiva)
 o (or) es verdadera cuando n es
∨ si A o B (o ambos) un número
es verdadero; se natural.
ambos son falsos,
a proposición es
lógica falsa.
proposicional, \lor
o \vee
+ Álgebra
booleana

ǀǀ
Disyunción La
exclusiva proposición A ⊕
⊕ xor B es verdadera
(¬A) ⊕ A es U+2295
cuando por los \oplus
siempre
menos un A o B, &opl
verdadero, A ⊕
lógica pero nunca ambos, us;
proposicional, es A es siempre
U+22BB
falso.
Álgebra verdadero. A⊻ B ti
booleana ene mismo \veebar
⊻ significado.
Tautología

⊤ verdad,
verdadero,
(top, verum)
La proposición ⊤
A ⇒ ⊤ es
es, independiente
siempre U+22A4 T
de condiciones, \top
verdadero.
lógica verdadera.
T proposicional,
Álgebra
booleana
1
Contradicción

⊥ (bottom,
falsum)
falsedad, falso
La proposición ⊥
⊥ ⇒ A es
es, independiente &per
siempre U+22A5
de condiciones, p; F \bot
lógica verdadero.
falsa.
F proposicional,
Álgebra
booleana

0
Cuantificador &for
∀ n ∈ ℕ: n2 ≥ n. U+2200
universal all;
 para todo; para
∀ cualquier uno;
∀ x: P(x) o (x)P(x)
significa
para cada
P(x) es verdadero \forall
lógica de para todo x.
primer orden
()
Cuantificador
existencial
existe; ∃ x: P(x) significa
que hay por lo
∃ n ∈ ℕ: &exis
∃ hay por lo
menos un x para
el cual P(x) es
donde n es par.
U+2203
t;
\exists
menos un
verdadero.
lógica de
primer orden
Cuantificador
para unicidad ∃! x: P(x) significa
que existe
existe
exactamente ∃! n ∈ ℕ: n + 5 = U+2203 U+ &exis
∃! exactamente
un
un x para el 2n. 0021 t; !
\exists !
cual P(x) es
lógica de verdadero.
primer orden
definición x := y o x ≡ y signi
fica x está siendo
:= es definido
como
definido como
otro nombre U+2254 :=
cosh x := :=
usando y (pero (U+003A U
(1/2)(exp x +
notar que ≡ puede +003D)
exp (−x)) :
significar congrue
ncia).
≡ concepto A XOR B :⇔
U+2261
&equ
iv; \equiv

universal (A ∨ B) ∧ ¬(A ∧
P :⇔ Q significa U+003A U+ &hA
B)
: P está siendo
definido
229C rr; \Leftright
arrow
⇔ siendo logicament
e equivalente a Q.

grupo que
posee
es realizado
precedencia
primero las (8 ÷ 4) ÷ 2 = 2 ÷
U+0028 U+
() paréntesis,
(brackets)
operaciones de
dentro del
2 = 1, pero 8 ÷ (4
÷ 2) = 8 ÷ 2 = 4.
0029
()
()
paréntesis.
concepto
universal
 Trinquete x⊢y
deduce que
significa y permite
A → B ⊢ ¬B → &#88
⊢ lógica
proposicional,
ser probado a
partir de x (en un
¬A
U+22A2
66;
\vdash
lógica de sistema formal
primer orden especificado).

doble trinquete x ⊨ y significa que

trinquete x semánticamente
trinquete y A → B ⊨ ¬B → &#88
⊨ lógica
proposicional,
¬A
U+22A8
72;
\vDash
lógica de
primer orden

Estándar unicode para los símbolos[editar]

Los simbolos son organizados por su valor Unicode:

 U+00B7 · middle dot, forma desatualizada para denotar AND,1 aún es usada en
electrónica; por ejemplo "A·B" es lo aunque "A&B"
 ·: Punto centralizado con una línea arriba. forma desactualizada para denotar NAND, por
ejemplo "A·B" es lo mismo que "La NAND B" o "A|B" o "¬(A & B)". véase
Unicode U+22C5 ⋅ dot operator.
 U+0305 ̅ COMBINING OVERLINE, utilizado como abreviatura para los numerales patrones
(Teoría de los números tipográficos). Por ejemplo, en html "4̅" es atajo para el numeral
normalizado "SSSS0".
 Overline, es usado para denotar números de Gödel por ejemplo "AVB" significa números
de Gödel de "(AVB)"
 Overline es también una forma desactualizada para denotar negación, aún es usado en
electrónica; por ejemplo "AVB" es lo aunque "¬(AVB)"
 U+2191 ↑ UPWARDS ARROW o U+007C | VERTICAL LINE: Sheffer stroke, el indicador del
operador NAND.
 U+2201 ∁ COMPLEMENTO
 U+2204 ∄ THERE DOES NOT EXIST: niega el cuantificador existencial de la misma forma que
"¬∃"
 U+2234 ∴ SEÑAL DE CONCLUSIÓN
 U+2235 ∵ SEÑAL DE EXPLICACIÓN
 U+22A7 ⊧ MODELS: es modelo de
 U+22A8 ⊨ TRUE: es verdadero que
 U+22AC ⊬ DOES NOT PROVE: es la negación de ⊢, el indicador de "no es posible probar
que", por ejemplo T ⊬ P quiere decir "P no es un teorema de T"
 U+22AD ⊭ NOT TRUE: no es verdadero que
 U+22BC ⊼ NAND: indicador del operador NAND, puede ser generado de esa forma ∧
 U+22BD ⊽ NOR: indicador de operador NOR , puede ser generado de esa forma V
 U+22C4 ⋄ DIAMOND OPERATOR: operador modal para "es posible que", "esto no es
necesariamente negado" o en raras veces "esto no es posible probar que no" (en la
mayoría da lógica modal está definido como "¬◻¬")
 U+22C6 ⋆ STAR OPERATOR: generalmente usado para los operadores ad-hoc
 U+22A5 ⊥ UP TACK or U+2193 ↓ DOWNWARDS ARROW: Webb-operator o flecha de Peirce,
indicador para el operador NOR. de manera confusa, "⊥" también es indicador para
contradicción o absurdo.
 U+2310 ⌐ REVERSED NOT SIGN
 U+231C ⌜ TOP LEFT CORNER y U+231D ⌝ TOP RIGHT CORNER: citas de esquina,
también llamada "comillas" Quine; cuasi-citación, es decir, citando en contexto específico
expresiones no especificadas ("variables");2 También se usa para indicar el número de
Gödel;3 2 por ejemplo ⌜G⌝ indica el número de Gödel de G. (Nota tipográfica: aunque las
citaciones de listado aparecieron como un "par" en Unicode 231c y 231D), en algunos
fuentes no son simétricas. En algunas fuentes (por ejemplo, Arial) solo son simétricos en
algunos tamaños. Alternativamente, las comillas puede ser representada como ⌈ y ⌉
U+2308 y U+2309) o utilizando un símbolo de negación y otro invertido ⌐ ¬ en modo
sobrescrito).
 U+25FB ◻ WHITE MEDIUM SQUARE or U+25A1 □ WHITE SQUARE: operador modal
para "es necesario que" (en lógica modal), o "es probable que" (en la lógica demostrativa),
o "es obligatorio que" (en la lógica deóntica), o "se cree que" (en lógica doxástica). Nótese
que los siguientes operadores son raramente soportados por fuentes instaladas
nativamente. Si se quisiera usarlos en una página web, se debe siempre incorporar las
fuentes necesarias para que el visualizador de páginas pueda ver la página web sin tener
las fuentes necesarias instaladas en el ordenador.
 U+27E1 ⟡ WHITE CONCAVE-SIDED DIAMOND
 U+27E2 ⟢ WHITE CONCAVE-SIDED DIAMOND WITH LEFTWARDS TICK: operador
modal para nunca fue
 U+27E3 ⟣ WHITE CONCAVE-SIDED DIAMOND WITH RIGHTWARDS TICK: operador
modal para nunca será
 U+27E4 ⟤ WHITE SQUARE WITH LEFTWARDS TICK: operador modal para siempre
fue
 U+27E5 ⟥ WHITE SQUARE WITH RIGHTWARDS TICK: operador modal para nunca fue
 U+297D ⥽ RIGHT FISH TAIL: muchas veces utilizado para "relación", también usado
para denotar varias relaciones ad hoc (por ejemplo, para denotar "testimonio" en el
contexto del truco de Rosser). El anzuelo también es usado como implicancia estricta de

C.I.Lewis ⥽ , el macro LaTeX correspondiente es \strictif. Consulte aquí para

una imagen del glifo. Añadido a Unicode 3.2.0.
 U+2A07 ⨇ TWO LOGICAL AND OPERATOR
Polonia y Alemania[editar]

A 2014, en Polonia, el cuantificador universal es a veces escrito y el cuantificador

existencial como . Lo mismo se aplica para a Alemania