7.Primer+curso+de+lógica+matemática

**CAPÍTULO UNO Y DOS DEL PRIMER CURSO DE LÓGICA MATEMÁTICA** En el capítulo dos conocemos las proposiciones, podemos comprender que existen dos clases de proposiciones o premisas unas atómicas, que son las básicas o simples, no tienen términos de enlace; y otras moleculares que están compuestas de proposiciones atómicas unidas con términos de enlace.

También podemos diferenciar los tipos de términos de enlace, encontramos cuatro palabras que son términos de enlace:"y", "o", "no" y "si......, entonces".

Cuando conocemos las proposiciones y los términos de enlace, observamos que tanto las proposiciones ya sean atómicas o moleculares se pueden simbolizar al igual que los términos de enlace, esto resulta más fácil para entender las proposiciones.

Por otra parte, las proposiciones tienen partes lógicas para poder llegar a la forma lógica, con esto podemos tener claro la forma de inferir y deducir en lógica, más bien una parte importante de la lógica formal. Existen reglas para inferir y demostrar, entre ellas: "Modus Ponendo Ponens", "Doble negación", "Modus Tollendo Tollens", "Adjunción" y "Simplificación".