docoo
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
      implica $\rightarrow$ \rightarrow implicación
  • Matemáticos
    • Álgebra
      nombre símbolo latex descripción
      conjunto vacío $\emptyset$ \emptyset ningún elemento
--