You are on page 1of 6

ser

NDICE

Visin histrica de la lgica matemtica..1 Objeto y contenido de la lgica simblica1 Formalizacin, simbolizacin y axiomatizacin..2 Smbolos de la lgica proposicional3

Introduccin

El contenido de la lgica simblica consiste en un clculo es decir es una serie de operaciones que realiza con un determinado grupo de smbolos. Tambin denominada lgica matemtica. Estudia la inferencia para encontrarlos mtodos validos que permitan establecer los razonamientos vlidos y no vlidos. Todo enunciado respecto del cual se disponga de un criterio que nos permite afirmar que su contenido es VERDADERO (V) O FALSO (F). Es la proposicin resultante de dos proposiciones p y q unidades mediante el conectivo si.entonces. La frmula lgica se la traduce como p condiciona q

VISIN HISTORICA DE LA LOGICA MATEMATICA

1. ARISTOTELES Y LEIBNIZ Aristteles (siglo V a.n.e.) que es el fundador de la lgica, inicio la formalizacin de los conceptos o trminos categoremticos sustituyndolos por las incgnitas A,B,C. As se inicio la lgica de clases. Tambin inicio la axiomatizacin de la lgica al establecer los tres primeros principios o axiomas (identidad, contradiccin, tercero excluido). Leibniz (siglo VXII) intento una axiomatizacin completa de la lgica, que tuviese como primer axioma el principio de identidad. Intento construir una matemtica universal que pudiese ser utilizada por las ciencias experimentales y humansticas. Trato de construir una especie de algebra general que permitira razonar calculando.

2. BOOLE Y FREGE GEORGE BOOLE (1847) inicio la llamada lgica matemtica que se vale diversas nataciones algoritmeticas para expresar la abstraccin lgica libre de todo contenido y evitar las imprecisiones del lenguaje ordinario. En su poca, se aplicaron los procedimientos matematicos a la lgica y se busco el fundamento de las matemticas en la lgica. Gottlob Frege aporto el desarrollo de la lgica matemtica al publicar su obra denominada La concepto grafa (1879), la misma que hace referencia a la escritura conseptografia que por su construccin formal esta libre de los defectos del lenguaje comn

3. RUSSELL Y WHITEHEAD Russell y Whitehead (siglo XX), en su Principal Mthematica demuestran que los primeros principios de la lgica son el fundamento de todo saber matemtico. Inician as la lgica-matemtica que consigue una completa axiomatizacin y formalizacin de la lgica.

OBJETO Y CONTENIDO DE LA LOGICA SIMBOLICA 1. OBJETO La lgica simblica tiene las siguientes denominaciones: lgica matemtica, logstica y lgica moderna. El objeto de la lgica simblica es decir el estudio de razonamiento o inferencia, con el propsito de encontrar mtodos para distinguirlos los razonamientos validos de los no validos. Para cumplir su objetivo trata de establecer el sentido preciso de trminos, tales como no, y, o, es, todos, algunos, etc.; trata tambin de formular las leyes mas generales en que esos trminos estn comprendidos. 2. CONTENIDO El contenido de la lgica simblica consiste en un clculo, es decir, en una serie de operaciones que se realiza con un determinado grupo de smbolos, que constituyen los trminos lgicos del clculo; y, las reglas que indican las operaciones que se pueden realizar con dichos smbolos.

FORMALIZACION, SIMBOLIZACION Y AXIOMATIZACION 1. LA FORMALIZACION La Formalizacin La formalizacin es un proceso por el que sustituimos por incgnitas el sujeto y el predicado de un enunciado lgico. As se forman expresiones que no designan nada determinado pero que pueden volver a designar algo cuando las incgnitas sean nuevamente reemplazadas por nombres. Ejemplo: Scrates es moral se puede formalizar por S es M. La formalizacin puede alcanzar no solo al sujeto y al predicado sino a proposiciones enteras como se vera adelante. 2. LA SIMBOLIZACION La simbolizacin consiste en la sustitucin de los conectores lgicos (conjunciones) por unos smbolos artificialmente convenidos. La simbolizacin siempre va unida a la formalizacin. Ejemplo: La y esta representada por LA o esta representada por V Expresiones como c Llueve y hace fro Se simboliza por (p q) Llueve o hace fro Se simboliza por (p v q) 3. LA AXIOMATIZACION La axiomatizacin consiste en la elaboracin de un sistema de axiomas que sirvan de base a la lgica matemtica. El axioma es una proposicin muy general y evidente por si misma, o que simplemente se admite sin necesidad de prueba. El ejemplo ms claro de tales principios son los axiomas matematicos, que la misma manera se tratan de aplicar a la lgica simblica.

SIMBOLOS DE LA LOGICA PROPOSICIONAL 1. ENUCIADOS Y CONJUNCIONES La lgica proporcional analiza los enunciados y conjunciones. Los enunciados constituyen las expresiones, los mismos que pueden definirse como expresiones de las proposiciones, los mismos que pueden definirse como expresiones que contienen afirmaciones (o negaciones); o bien, como expresiones cuyo contenido se puede calificar como verdadero (V) o como falso (F). Las conjunciones se refieren a la cualquier partcula o expresin que sirve de enlace entre dos proposiciones (o enunciados) y reciben el nombre de colectivos o conectivas Los enunciados pueden ser atmicos o moleculares. 2. ENUNCIADOS ATOMICOS Los enunciados se llaman atmicos o simples cuando no tienen conectivos. Los smbolos de las proposiciones atmicas o simples son las consonantes p, q, r etc. Estas letras se denominan tambin variables enunciativas o letras enunciativas. Se llaman variables enunciativas porque pueden ser sustituidas por cualquier enunciado. Se llaman letras enunciativas porque sus valores son enunciados. 3. ENUNCIADOS MOLECULARES Se llaman enunciados moleculares o compuestos cuando intervienen uno o mas conectivos. Los smbolos de los conectivos son los siguientes: Conectivos No; no es cierto que; no Es verdad que; etc. Y, pero, aunque; sino, etc. SI. Entonces; es condicin Suficiente para..; etc. Si y solo si, etc. O; y/o; a menos que; etc O.o; o bien, etc. Smbolos -

V ^