Al finalizar este capítulo, el estudiante estará en capacidad de:
1.1) Comprender el concepto de proposición.
1.2) Trasladar proposiciones dadas en lenguaje natural a lenguaje proposicional.
1.3) Determinar el valor de verdad de una proposición.
1.4) Probar equivalencias lógicas.
1.5) Demostrar que una proposición es consecuencia lógica de otras proposiciones.
1.6) Usar los cuantificadores existencial y universal, y sus propiedades.