Descripción:
La lógica formal se ocupa de determinar cuándo un argumento es correcto o incorrecto. Desde sus inicios hasta nuestros días, se ha desarrollado como ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la utilización que hace del simbolismo le permite evitar las conclusiones y ambigüedades del lenguaje natural.