Universidad Nacional del Altiplano Facultad Ciencias de la Educacin especialidad Matemtica e Informtica

INTRODUCCIN A LA LGICA
Es probable que en el siglo IV antes de la Era Comn, se iniciara con Aristteles el estudio de la Lgica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio de lo que hoy se conoce como Lgica Matemtica. Uno de los fines de la enseanza matemtica es disciplinar la inteligencia, de ah el valor formativo de esta ciencia ya que necesita de exactitud y precisin en sus razonamientos. La inteligencia se disciplina a travs de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lgica es estudiar la validez de los razonamientos. La validez de la lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Por medio de un enunciado con sentido podemos emitir un juicio (actividad mental por medio de la cual pensamos algo) o un razonamiento (evaluacin mental por medio de la cual obtenemos conclusiones).

CONCEPTO DE LA LGICA
La lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Para su estudio, se divide en lgica formal, lgica aplicada y lgica simblica. Lgica formal: Es la parte de la filosofa que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error. Lgica Aplicada: Es la que estudia las formas o estructura del pensamiento adaptndose al objeto de estudio de las distintas ciencias. Lgica simblica: Es la que estudia sistemticamente las proposiciones, los razonamientos y las demostraciones para lo cual utiliza un lenguaje constituido por smbolos convencionales que representan estructuras. La lgica simblica es aquella que se refiere a las proposiciones y que tambin se conoce con el nombre de Calculo Proposicional.

PROPOSICIONES

Universidad Nacional del Altiplano Facultad Ciencias de la Educacin especialidad Matemtica e Informtica

Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez. CLASIFICACIN DE LAS PROPOSICIONES: Proposiciones simples o atmicas: Son aquellas que constan de un solo enunciado. Por ejemplo: Juan estudia. Maria trabaja. 25 es un nmero par. Proposiciones compuestas o moleculares: de dos o ms proposiciones simples entrelazadas por ciertas

Son las que constan Juan y Maria estudian.

particularidades lgicas llamadas conectivos lgicos. Por ejemplo: Marian estudia y Jose estudia 25 es un nmero impar y mltiplo de 5.