2. Concepto de lógica La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado en particular.
3. Ejemplo Todos los matemáticos utilizan sandalias. Cualquier persona que utiliza sandalias es algebrista. Por tanto, todos los matemáticos utilizan sandalias. La lógica no permite determinar si estos enunciados son verdaderos; sin embargo, si los dos primeros enunciados fuesen verdaderos, la lógica garantizaría que el enunciado tercero también es verdadero.
4. Métodos lógicos. Se utilizan en matemáticas para demostrar teoremas. En computación se utilizan para demostrar que los algoritmos o programas hacen lo que deben de hacer.
5. Proposición El ITL es la mejor escuela del mundo. Los únicos enteros positivos que dividen al 7 son 1 y el mismo 7. La tierra es el único planeta en el universo que tiene vida. LA AFIRMACIÓN O ENUNCIADO QUE ES VERDADERA O FALSA, PERO NO AMBAS, ES UNA PROPOSICIÓN.
6. Proposición En computación frecuentemente se usan estructuras que dependen solamente de dos valores, así por ejemplo tenemos el sistema numérico binario que se utiliza para representar los números utilizando solamente 0 y 1. Otro tipo de entes que se utilizan en computación que también está asociado a “dos” opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a , se pueden ver caracterizadas como verdaderas ó falsas y de acuerdo a esta condición se desarrolla el estudio sobre dichos conceptos. Este tema se conoce como cálculo de proposiciones.