A2A
Sí. Ellas hacen. Aunque puede haber algunas letras cirílicas en las fórmulas (que tienen el mismo uso que letras como [math] \ mathfrak {A} [/ math], [math] \ mathcal {A} [/ math], [math] \ mathbb {A} [/ matemáticas] y así sucesivamente), la mayor parte de las fórmulas se escriben de manera bastante similar a los libros de texto en alfabeto latino.
- ¿Cuál es la diferencia entre funciones y acciones en QTP?
- ¿Qué tiene de malo este algoritmo 3SAT?
- ¿Las matemáticas son importantes para la piratería informática?
- Soy muy rápido en los cálculos matemáticos y me encantan las matemáticas. ¿En qué opciones de carrera puedo dar lo mejor?
- ¿Por qué los maestros programadores insisten en usar las matemáticas para enseñar a sus estudiantes los conceptos básicos de la programación dado que no se usa tanto a diario?
Estas son páginas de la edición rusa de ‘Introducción a la lógica matemática’ de E. Mendelson. Como se puede ver, solo los valores de verdad (И para verdadero y Л para falso) se escriben en cirílico.
Sin embargo, las proposiciones (en el caso del metalenguaje) generalmente se denotan (y supongo que es bastante uniforme en todos los libros de texto en todos los idiomas) con letras como A, B o C. Por otro lado, las variables proposicionales en sí se denotan de manera común con letras minúsculas como p, q, r:
Este es un ejemplo de derivación de deducción natural de un libro de texto de lógica rusa para universidades.