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