Lógica matemática
PROPOSICIONES Y CONECTIVOS LÓGICOS
Al finalizar el estudio de está unidad el estudiante estará en condiciones de: Determinar cuándo una expresión es una proposición Expresar simbólicamente una proposición Construir proposiciones compuestas, haciendo uso de los conectivos lógicos.
Realizar operaciones entre proposiciones, haciendo uso de los conectivos y de los signos de agrupación.
Identificar proposiciones abiertas y cerradas
1.1. Introducción
El ser humano en sus actividades cotidianas debe comunicarse, esta comunicación puede
realizarse de diversas maneras, una de ellas es la comunicación por medio de un lenguaje el
cual puede estar constituido entre otras por frases interrogativas, imperativas y frases declarativas. Sólo a través de estas últimas es posible una descripción del conocimiento.
La lógica provee los elementos necesarios para representar el conocimiento a través de
métodos de formalización de las frases declarativas. En este capítulo se trabajará la lógica
proposicional desde las frases declarativas simples (enunciados o proposiciones) que son los
elementos básicos de transmisión del conocimiento humano.
1.2. Proposiciones
Una proposición matemática es un enunciado o expresiones que tienen un significado determinado y que mediante un criterio definido puede ser clasificada inequivocamente como