Qu es la lgica formal?

La lgica formal es la parte de la lgica que

a diferencia de la lgica informal se dedica
al estudio de la inferencia mediante la
construccin del lenguaje formal, sistemas
educativos y semnticas formales. En otras
palabras la lgica es el conjunto de
conocimientos que tienen por objeto la
enunciacin de las leyes que rigen los
procesos del pensamiento humano.

Cmo se define la
lgica formal?
La podemos definir como la
disciplina filosfica que tiene
como objeto de estudio, los
principios y mtodos que se
emplean para distinguir o
diferenciar el razonamiento
correcto del incorrecto.