Unidad 7 Introducción a la lógica simbólica (Cálculo proposicional)
OBJETIVOS: Que el alumno… Comprenda en qué consiste la lógica y el cálculo proposicional. Distinga entre proposiciones simples y compuestas. Comprenda la noción de “conectiva lógica”. Defina cada conectiva en función de sus valores de verdad.
7.1 ¿Qué es el cálculo proposicional? Es la operación donde de ciertos enunciados o premisas se pueden obtener como conclusiones otros enunciados, aplicando reglas o leyes establecidas.
7.2 Clasificación de las proposiciones Las proposiciones son pensamiento o enunciados declarativos que pueden ser verdaderos o falsos.
Proposiciones simples (atómicas) y compuestas (moleculares) Las proposiciones simples o atómicas no se componen de más proposiciones y carecen de términos de enlace o conectivas lógicas. Las proposiciones compuestas o moleculares, se componen de dos o más proposiciones simples y tienen términos de enlace o conectivas lógicas.
Ejercicio Si estudiamos para el examen, entonces aprobaremos. El sol es una estrella si y sólo si la Tierra es un planeta. Juan y María son novios. La línea más corta entre dos puntos es la línea recta. No es cierto que el plomo sea radiactivo. Todos los metales de dilatan con el calor. Cuba es una isla y Baja California es una península. Plutón es el planeta más cercano o el más lejano de nuestro Sistema Solar.