Una convertido (capital: Ɐ , minúsculas: ɐ , símbolo de la matemáticas ∀ ) es una letra y símbolo en base a la letra A .
La ɐ minúscula (en forma de dos pisos) se usa en el Alfabeto Fonético Internacional para identificar la vocal central casi abierta . Esto no debe confundirse con el alfa convertido o el alfabeto convertido a , ɒ, que se utiliza en la API para la vocal redondeada posterior abierta .
Fue utilizado en el siglo XVIII por Edward Lhuyd y William Pryce como un carácter fonético para el idioma de Cornualles . En sus libros, se han utilizado tanto Ɐ como ɐ . [1] Fue utilizado en el siglo XIX por Charles Sanders Peirce como un símbolo lógico para "antiamericano" ("no americano"). [2]
El símbolo lógico ∀ tiene la misma forma que una mayúscula sans-serif convertida en A. Se utiliza para representar la cuantificación universal en la lógica de predicados , donde normalmente se lee como "para todos". Fue utilizado por primera vez de esta manera por Gerhard Gentzen en 1935, por analogía con Giuseppe Peano 's E torneada notación para la cuantificación existencial y el uso posterior de la notación de Peano por Bertrand Russell . [3] En ingeniería de tráfico se utiliza para representar el flujo, el número de unidades (vehículos) que pasan por un punto en una unidad de tiempo. También se puede utilizar en tarifas unitarias.
Según el principio de la acrofonía , la letra A se originó en el alfabeto proto-sinático como símbolo que representa la cabeza de un buey o una vaca, cuya orientación y significado original se han perdido con el tiempo. El símbolo A vuelto restaura la letra a una representación logográfica más fácilmente reconocible de la cabeza de un buey. [4]
U + 1D44 ᵄ LETRA MODIFICADORA PEQUEÑA VUELTA A se utiliza en el alfabeto fonético urálico . [5]
Codificaciones
Avance | Ɐ | ɐ | ∀ | |||
---|---|---|---|---|---|---|
Nombre Unicode | LETRA MAYÚSCULA LATINA CONVERTIDA A | LETRA MINÚSCULA LATINA CONVERTIDA A | PARA TODOS | |||
Codificaciones | decimal | maleficio | decimal | maleficio | decimal | maleficio |
Unicode | 11375 | U + 2C6F | 592 | U + 0250 | 8704 | U + 2200 |
UTF-8 | 226 177 175 | E2 B1 AF | 201 144 | C9 90 | 226 136 128 | E2 88 80 |
Referencia de caracteres numéricos | & # 11375; | & # x2C6F; | & # 592; | & # x250; | & # 8704; | & # x2200; |
Referencia de carácter con nombre | & ParaTodos ;, & forall; | |||||
Fuente del símbolo | 34 | 22 | ||||
Texas | \para todos |
Ver también
Referencias
- ^ Michael Everson , Propuesta para agregar letras latinas y un símbolo griego al UCS , ISO / IEC JTC1 / SC2 / WG2 N3122 L2 / 06-266 (2006)
- ^ Página 320 en Randall Dipert , " Lógica deductiva de Peirce ". En Cheryl Misak , ed. El compañero de Cambridge para Peirce . 2004
- ^ Miller, Jeff. "Los primeros usos de los símbolos de la teoría y la lógica de conjuntos" . Usos más tempranos de varios símbolos matemáticos .
- ^ Jensen, Hans (1969). Signo, símbolo y guión . Nueva York: GP Putman's Sons. pag. 262. ISBN 9780044000211.
- ^ Everson, Michael ; et al. (20 de marzo de 2002). "L2 / 02-141: Caracteres del alfabeto fonético urálico para el UCS" (PDF) .