CONCEPTO

CONCEPTO BASICO DE LOGICA MATEMATICA

Qu es la lgica matemtica?

Es la disciplina que estudia mtodos de anlisis y razonamiento; utilizando el lenguaje

de las matemticas como un lenguaje analtico.

La lgica matemtica nos ayuda a establecer criterios de verdad, equivalencias lgicas

tales como el silogismo, hacer demostraciones de teoremas que participan en el
anlisis de argumentos planteados.

Dentro de la misma, se complementa tambin de la heurstica para resolver problemas

y es muy til en matemticas.

Suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin,

teora de conjuntos y teora de los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin