Diferencia entre revisiones de «Lógica matemática»

La [[lógica]] formal, a diferencia de la [[lógica informal]], se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una [[teoría]] lógica y consecuentemente, razonamientos más complejos que no se utilizan normalmente en la [[vida cotidiana]]. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe ser confundido con la [[lógica simbólica]] ni con la [[lógica matemática]], que son tipos de lógica que se encuentran dentro del campo de la lógica formal.