Tema 1.1.

Lgica Proposicional - Matemticas Discretas - Instituto Consorcio Clavijero 24/07/17 11(10

1.1. Lgica proposicional

Introduccin

El lenguaje nos proporciona las herramientas mentales, la habilidad para dar razones de lo que sabemos. En la experiencia diaria,
esperamos que las personas tengan razones para lo que dicen o hacen, es decir, buscamos un principio de racionalidad, una
lgica. Lo que parece una buena razn, puede variar de acuerdo con las circunstancias y las costumbres del contexto. La Lgica,
en cambio, busca tipos particulares de demostraciones racionales que fundamenten las conclusiones, y respalden nuestra ciencia
y conocimiento en general.

La Lgica se ocupa de los productos mentales considerados en s mismos, de las correctas relaciones entre conceptos, juicios y
razonamientos. Se interesa por la estructura o forma del pensamiento, sin tomar en cuenta su contenido, por eso es una ciencia
formal. Adems, como el pensamiento se expresa en un lenguaje, en este sentido tambin lo estudia.

Se acostumbra definir la Lgica Formal como aquella ciencia que estudia los razonamientos desde la perspectiva del anlisis
formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido emprico de los
razonamientos para slo considerar la forma. Todo A es B; todo C es A; por tanto, todo C es B.

Resulta ya un lugar comn equiparar la Lgica formal a la Lgica Matemtica, por lo que actualmente constituyen expresiones
prcticamente sinnimas.
Conviene, por tanto, que recuerdes todos los principios de la Lgica Proposicional y la Lgica de Predicados. En este tema slo
vamos a recordar algunos conceptos bsicos y te proporcionaremos los recursos para que recuerdes todo lo concerniente a la
Lgica y Clculo Proposicional.

Puedes repasar todos los conceptos de la Lgica Proposicional y de Predicados en el documento de Muoz, C. Introduccin a la
Lgica, consultado el 20 de febrero de 2009, en:
http://www.ucm.es/info/pslogica/cdn.pdf.

Si no esta disponible la liga haz clic aqu.

http://cursos.clavijero.edu.mx/cursos/006_md/modulo1/contenidos/tema1.1.html Pgina 1 de 1