Símbolo |
Nombre |
Î |
Elemento (‘e un miembro de’) |
Ï |
‘no es elemento de’ |
{} |
Llaves (denotan conjunto) |
Æ |
Conjunto vacío |
1 |
Conjunto universal |
Ì |
Inclusión propia (‘es un subconjunto propio de’) |
Í |
Inclusión (‘es un subconjunto’) |
= |
Identidad de conjuntos |
Ç |
Intersección |
È |
Unión |
¾ |
Diferencia |
áñ |
Paréntesis en ángulo |
t |
‘verdadero’ |
f |
‘falso’ |
½ |
Barra de Sheffer |
~ (Ø ) |
Negación |
& (. , Ù) |
Conjunción |
Ú |
Disyunción (inclusiva) |
Ú |
Disyunción (exclusiva) |
® (É) |
Implicación (material) |
º («) |
Equivalencia |
" |
Cuantor universal |
$ |
Cuantor existencial |
 |
Conversa de R |
M (à) |
Operador de posibilidad |
N (ÿ) |
Operador de necesidad |
F, H, G, A |
Operadores temporales |
i |
Operador iota |
l |
Operador lamda |
A, B, C ... |
(en teoría de conjuntos) conjuntos (en lógica de predicados) constantes de predicado |
a, b, c... |
(en teorías de conjuntos) elementos de los conjuntos (en lógica de predicados) constantes de individuos |
A, B, C ... |
Conjuntos de conjunto |
f, g, h... |
Funciones |
p, q, r ... |
Variables de enunciados |
x, y, z ... |
Variables de individuo |
F, y, C ... |
Variables de predicado |
a, b, g ... |
Metavariables para e.b.f. |
P, Q, R ... |
Metavariables para términos de predicado |
t1, t2 ... tn |
Metavariables para términos de individuos |
Las expresiones en castellano y otros lenguajes naturales se citan en cursiva, por ejemplo caballo, cuando la expresión hace referencia a sí misma, y entre comillas, por ejemplo, ‘caballo’ cuando la expresión se refiere al significado de la expresión.
Cuando se introduce un término de importancia, se da en negrita, por ejemplo, extensión.