8/10/22, 17:03 Anexo:Símbolos lógicos - Wikipedia, la enciclopedia libre

Anexo:Símbolos lógicos
En lógica, se emplean un grupo de símbolos que sirven para representar una expresión lógica. La tabla que aparece a continuación reúne los símbolos más
comunes, además de su nombre, lectura y área de la matemática relacionada. La tercera columna ofrece una definición informal sobre el símbolo, la cuarta
columna ofrece un ejemplo, la quinta y sexta ofrecen su ubicación y nombre en el Unicode para el uso en documentos HTML1 ​. La última columna ofrece
su símbolo en LaTeX.

Índice
41 Símbolos Lógicos
Estándar unicode para los símbolos
Polonia y Alemania
Véase también
Nota
Referencias
Lecturas complemetarias
Enlaces externos

41 Símbolos Lógicos

https://es.wikipedia.org/wiki/Anexo:Símbolos_lógicos 1/5
8/10/22, 17:03 Anexo:Símbolos lógicos - Wikipedia, la enciclopedia libre

Leer como Valor Entidad

Símbolo Explicación Ejemplos
unicode HTML LaTe
Categoría

A ⇒ B es verdad (en 3 de
las 4 posibilidades) si
condicional ambos son falsos, ambos
(implicación) verdaderos o B verdadero

→ puede significar lo
mismo que ⇒ (pues
⇒ existe otro caso
U+21D2 ⇒
donde él indica la x = 2 ⇒ x2 = 4 es
implica, relación entre dominio verdadero, pero x2 = 4 ⇒
y contra dominio de x = 2 es, considerando U+2192 → \to
→
si .. entonces una función; todas las posibilidades \su
falso (considerando que el
véase tabla de x podría ser también −2). U+2283 ⊃
símbolos
⊃ matemáticos).

⊃ puede significar lo
mismo que ⇒ (pues
lógica proposicional, existe otro caso
álgebra de Heyting donde
indica subconjunto).

A ⇔ B es verdad solo si A
si y solamente si (sse) y B fueran falsos
⇔ U+21D4 ⇔
o A y B fueran
verdadero.
U+2261 ≡ \eq
≡ si y solo si; sse x+5=y+2 ⇔ x+3=y
A ↔ B es verdad \le
cuando U+2194 ↔
( A → B & B → A)
↔ lógica proposicional es verdad

¬ negación
U+00AC ¬
¬(¬A) ⇔ A
La proposición ¬A es
˜ negado verdadera si y solamente
x ≠ y ⇔ ¬(x = y)
si A es falso. U+02DC ˜ ~

! lógica proposicional

∧ conjunción lógica

y (and)
U+2227 ∧
La proposición A ∧ B es
n < 4 ∧ n >2 ⇔ n = 3
verdadera si A y B son
cuando n es un número
ambos verdaderos; si no,
natural. \&no
• lógica proposicional, es falso. U+0026 &amp;

Álgebra booleana

&
∨ disyunción
(inclusiva)
lógica

La proposición A ∨ B es
verdadera si A o B (o n ≥ 4 ∨ n ≤ 2 ⇔n ≠ 3
+ o (or) ambos) es verdadero; si cuando n es un número U+2228 &or;
ambos son falsos, la natural.
proposición es falsa.
lógica proposicional,
ǀǀ Álgebra booleana

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

Tautología Independientemente de A ⇒ ⊤ es siempre U+22A4 T

las condiciones, la verdadero.
⊤ verdad, verdadero, proposición ⊤ es
verdadera.

https://es.wikipedia.org/wiki/Anexo:Símbolos_lógicos 2/5
8/10/22, 17:03 Anexo:Símbolos lógicos - Wikipedia, la enciclopedia libre
(top, verum)
T

lógica proposicional,
1 Álgebra booleana

Contradicción
⊥
(bottom, falsum) falsedad, Independientemente de
falso ⊥ ⇒ A es siempre
las condiciones, la U+22A5 &perp; F
F proposición ⊥ es falsa. verdadero.

lógica proposicional,
0 Álgebra booleana

Cuantificador universal
∀ para todo; para cualquier
∀ x: P(x)
significa
o (x)P(x)
uno;
∀ n ∈ ℕ: n2 ≥ n. U+2200 &forall;
P(x) es verdadero
para cada
para todo x.
() lógica de primer orden
Cuantificador existencial
existe;
∃ x: P(x) significa que hay
∃ hay por lo menos un por lo menos un x para
el cual P(x) es verdadero.
∃ n ∈ ℕ: donde n es par. U+2203 &exist;

lógica de primer orden

Cuantificador para
unicidad ∃! x: P(x) significa que
existe exactamente un x
∃! existe exactamente un para el cual P(x) es
∃! n ∈ ℕ: n + 5 = 2n. U+2203 U+0021 &exist; !
verdadero.
lógica de primer orden
definición x := y o x ≡ y
significa x está siendo
es definido como definido como otro nombre
:= usando y (pero notar que cosh x := (1/2)(exp x +
U+2254
(U+003A U+003D)
:=
≡ puede exp (−x))
significar congruencia). :
≡ U+2261 &equiv; \eq
A XOR B :⇔
concepto universal P :⇔ Q significa P (A ∨ B) ∧ ¬(A ∧ B)
está siendo definido U+003A U+229C &hArr;
:⇔ siendo lógicamente
equivalente a Q.

grupo que posee

precedencia Son realizadas primero las (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1,
() paréntesis, (brackets)
operaciones de dentro del
paréntesis.
pero 8 ÷ (4 ÷ 2) = 8 ÷ 2 =
4.
U+0028 U+0029 ()

concepto universal
x⊢y
Trinquete

significa que
deduce que y permite ser
⊢ probado a partir de x
A → B ⊢ ¬B → ¬A U+22A2 &#8866;

lógica proposicional, lógica

(en un sistema formal
de primer orden especificado).

doble trinquete x ⊨ y significa que x

semánticamente trinquete
y
trinquete
⊨ A → B ⊨ ¬B → ¬A U+22A8 &#8872;

lógica proposicional, lógica

de primer orden

Estándar unicode para los símbolos

Los símbolos son organizados por su valor Unicode:

U+00B7 · middle dot, forma desactualizada para denotar AND,2 ​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.

https://es.wikipedia.org/wiki/Anexo:Símbolos_lógicos 3/5
8/10/22, 17:03 Anexo:Símbolos lógicos - Wikipedia, la enciclopedia libre

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");3 ​ También se usa para indicar el número de Gödel;4 ​ 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í (http://www.fileformat.info/info/unicode/char/297d/index.htm) para una imagen del glifo.
Añadido a Unicode 3.2.0.
U+2A07 ⨇ TWO LOGICAL AND OPERATOR

Polonia y Alemania

A 2014, en Polonia, el cuantificador universal es a veces escrito y el cuantificador existencial como . Lo mismo se aplica para Alemania

Véase también
Józef Maria Bocheński
Lista de símbolos matemáticos
Conectivo lógico
Signatura polaca
Función veritativa
Tabla verdad

Nota
1. Aunque este carácter está disponible en LaTeX, el sistema MediaWiki TeX no admite dicho carácter.

Referencias

https://es.wikipedia.org/wiki/Anexo:Símbolos_lógicos 4/5
8/10/22, 17:03 Anexo:Símbolos lógicos - Wikipedia, la enciclopedia libre
1. «HTML Standard» (https://html.spec.whatwg.org/multipage/syntax.html#named-character-references). html.spec.whatwg.org. Consultado el 5 de
noviembre de 2020.
2. Brody, Baruch A. (1973), Logic: theoretical and applied, Prentice-Hall, p. 93, ISBN 9780135401460, «We turn now to the second of our connective
symbols, the centered dot, which is called the conjunction sign.»
3. Quine, W.V. (1981): Mathematical Logic, §6
4. Jaakko, Hintikka (1998). «The Principles of Mathematics Revisited» (https://books.google.com/books?id=JHBnE0EQ6VgC&pg=PA113). Cambridge
University Press. p. 113. ISBN 9780521624985..

Lecturas complemetarias
Józef Maria Bocheński (1959), A Précis of Mathematical Logic, trans., Otto Bird, from the French and German editions, Dordrecht, South Holland: D.
Reidel.

Enlaces externos
Named character entities (http://www.w3.org/TR/WD-html40-970708/sgml/entities.html) (en inglés) HTML 4.0 (inglés)
Esta obra contiene una traducción derivada de «Lista de símbolos lógicos» de Wikipedia en portugués, concretamente de esta versión (https://pt.wiki
pedia.org/wiki/Lista_de_s%C3%ADmbolos_l%C3%B3gicos?oldid=50762723), publicada por sus editores (https://pt.wikipedia.org/wiki/Lista_de_s%C
3%ADmbolos_l%C3%B3gicos?action=history) bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-
CompartirIgual 3.0 Unported.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Anexo:Símbolos_lógicos&oldid=144254065»

Esta página se editó por última vez el 17 jun 2022 a las 20:08.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de
uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

https://es.wikipedia.org/wiki/Anexo:Símbolos_lógicos 5/5