Introducción La Lógica es la ciencia que estudia las leyes y formas del raciocinio; trata pues, sobre la utilización correcta de las expresiones. Así como, al disentir, hay diferentes opiniones para un mismo caso, también la lógica depende muchas veces de cada persona. Para evitar esto, para que exista una lógica que podamos llamar universal, se ha dotado a la lógica de una estructura matemática, dando lugar a la aparición de una ciencia que llamaremos Lógica matemática. Sin embargo, la Lógica matemática no es una ciencia nueva, sino que empezó a estudiarse hace muchísimos años. Ya en el siglo IV a.C., Aristóteles, en su libro, llamado precisamente así, Lógica u Organon, como lo llamaban los griegos, desarrolló eficazmente la Ciencia del raciocinio. Mediante la Lógica matemática aprendemos las bases del razonamiento científico y la demostración matemática. Pero la Lógica requiere un lenguaje matemático muy especial en cuanto a nombres y símbolos se refiere y, como todas las matemáticas, tiende a abstraer los conceptos particulares por lo que, en principio, no resulta muy fácil su comprensión. A continuación empezaremos a estudiar algunas nociones de Lógica matemática.