Parte formal
El lenguaje científico va a utilizar en lo posible un lenguaje formal (principalmente matemático)
Aunque en el lenguaje formal hemos dicho que el simbolismo es arbitrario, si que se han generalizado algunos símbolos de estos, y serán los aquí utilizados normalmente.
-
Lógicos
-
Lógica proposicional
| nombre | símbolo | latex | descripción |
| y | $\wedge$ | \wedge | y lógica |
| o | $\vee$ | \vee | o lógica |
| negación | $\neg$ | \neg | negación lógica |
| implica | $\rightarrow$ | \rightarrow | implicación |
| si solo si | $\leftrightarrow$ | \leftrightarrow | doble implicación |
| equivalencia lógica | $\equiv$ | \equiv | equivalencia lógica |
-
aritmética
-
Aritmética básica
| nombre | símbolo | latex | descripción |
| + | + | + | suma |
| - | - | - | resta |
| producto | $\cdot$ | \cdot | producto |
| división | : | : | división, esto tiene gran cantidad! |
-
Matemáticos
-
Álgebra
| nombre | símbolo | latex | descripción |
| conjunto vacío | $\emptyset$ | \emptyset | ningún elemento |
| relación | $\Re$ | \Re | Es para la abreviatura de las relaciones de equivalencia |
| para todo | $\forall$ | \forall | Cuantificador universal, para todo |
| existe | $\exists$ | \exists | Cuantificador existencial |
| existe uno y solo uno | $\exists$ ! | \exists ! | Cuantificador existencial único |
| intersección | $\cap$ | \cap | |
| unión | $\cup$ | \cup | |
| igual | = | = | |
| suma | + | + | |
| producto multiplicación | $\cdot$ | \cdot | |
| producto exterior | $\times$ | \times | |
| dividir | $\div$ | \div | |
| más igual | $\pm$ | \pm | |
| igual más | $\mp$ | \mp | |
| raiz | $\sqrt{}$ | \sqrt{} | |
| subgrupo | $\leq$ | \leq | |
| subgrupo invariante | $\unlhd$ | \unlhd | |
-
Relaciones
| nombre | símbolo | latex | descripción |
| menor que | < | < | |
| mayor que | > | > | |
| menor o igual que | $\leq$ | \leq | |
| mayor o igual que | $\geq$ | \geq | |
| mucho mayor | $\gg$ | \gg | |
| mucho menor | $\ll$ | \ll | |
| contenido en | $\subset$ | \subset | |
| contenido en o igual | $\subseteq$ | \subseteq | |
| contiene a | $\supset$ | \supset | |
| contiene a o es el total | $\supseteq$ | \supseteq | |
| pertenece a | $\in$ | \in | |
| a este pertenece | $\ni$ | \ni | |
-
Análisis
| nombre | símbolo | latex | descripción |
| real | $\Re$ | \Re | |
| imaginario | $\Im$ | \Im | |
| diferencial parcial | $\partial$ | \partial | |
| infinito | $\infty$ | \infty | |
| gradiente | $\nabla$ | \nabla | |
-
Letras griegas
-
Minúsculas
| nombre | símbolo | latex | descripción |
| alfa | $\alpha$ | \alpha | |
| beta | $\beta$ | \beta | |
| gamma | $\gamma$ | \gamma | |
| delta | $\delta$ | \delta | |
| epsilon cirílico | $\epsilon$ | \epsilon | |
| epsilon | $\varepsilon$ | \varepsilon | |
| zeta | $\zeta$ | \zeta | |
| eta | $\eta$ | \eta | |
| tita cirílico | $\theta$ | \theta | |
| tita | $\vartheta$ | \vartheta | |
| iota | $\iota$ | \iota | |
| kappa | $\kappa$ | \kappa | |
| lambda | $\lambda$ | \lambda | |
| mu | $\mu$ | \mu | |
| nu | $\nu$ | \nu | |
| chi | $\xi$ | \xi | |
| o | o | o | |
| pi | $\pi$ | \pi | |
| pi | $\varpi$ | \varpi | |
| rho | $\rho$ | \rho | |
| varrho | $\varrho$ | \varrho | |
| sigma | $\sigma$ | \sigma | |
| varsigma | $\varsigma$ | \varsigma | |
| tau | $\tau$ | \tau | |
| upsilon | $\upsilon$ | \upsilon | |
| phi | $\phi$ | \phi | |
| varphi | $\varphi$ | \varphi | |
| chi | $\chi$ | \chi | |
| psi | $\psi$ | \psi | |
| omega | $\omega$ | \omega | |
