22 de septiembre del 2010.

Lgica Proposicional
Las reglas de la lgica le dan un significado preciso a los enunciados matemticos o sentencias matemticas. Estas reglas se usan para distinguir entre argumentos validos y no validos. Adems de su importancia en el razonamiento matemtico, la lgica se usa en el diseo de circuitos de ordenador, la construccin de programas informticos, la verificacin de que un programa est bien construido y en muchas otras aplicaciones. El rea de la lgica que trata de proposiciones se llama clculo proposicional o lgica proposicional. Fue desarrollada sistemticamente por primera vez por el filosofo griego Aristteles hace ms de dos mil trescientos aos.

Proposiciones
Una proposicin es una oracin declarativa que es correcta o falsa, pero no ambas cosas a la vez. Ejemplo. 1. Bruselas es la capital de la Unin Europea. 2. Toronto es la capital de Canad. 3. 1+1=2. 4. 2+2=3. En este ejemplo las proposiciones 1 y 3 son correctas, mientras que la 2 y 4 son falsas. Para denotar proposiciones usamos letras, al igual que usamos letras para denotar variables.
1

Por convenio, las letras que se usan para denotar proposiciones son p, q, r, s... El valor de verdad de una proposicin es verdadero, y se denota por V, si es una proposicin Verdadera, o falso, denotando por F, si es una proposicin falsa. Las proposiciones compuestas fueron estudiadas por el matemtico ingles George Boole en 1854 en su libro Las leyes del pensamiento. Muchos enunciados matemticos se construyen combinando una o ms proposiciones, estas se unen usando operadores lgicos.

Ejemplo La negacin del enunciado hoy es viernes y expresarla del modo ms simple. Solucin: la negacin es no se cumple que hoy es viernes esta negacin se puede expresar mas simplemente por hoy no es viernes o no es viernes hoy.

Tabla de verdad
Una tabla de verdad muestra las relaciones entre los valores de verdad de proposiciones. Las tablas de verdad son especialmente valiosas a la hora de determinar los valores de verdad de proposiciones construidas a partir de proposiciones ms simples. La tabla 1 muestra los dos posibles valores de verdad de una proposicin p y los correspondientes valores de verdad de su negacin .

La negacin de una proposicin se puede considerar como el resultado de aplicar el operador negacin sobre una proposicin. El operador negacin construye una nueva proposicin a partir de la proposicin individual existente.

Operadores lgicos o conectivos lgicos.

Los conectivos lgicos u operadores lgicos son los que nos permiten formar nuevas proposiciones a partir de dos o ms proposiciones ya creadas. En la siguiente tabla se muestran los conectivos lgicos.

Conectiva

Expresin en el lenguaje natural

Ejemplo

Smbolo en este artculo

Smbolos alternativos

Negacin

no

No est lloviendo.

Conjuncin

Est lloviendo y est nublado.

Disyuncin

Est lloviendo o est soleado.

Implicacin

si... entonces

Si est soleado, entonces es de da.

Bicondicional

si y slo si

Est nublado si y slo si hay nubes visibles.

Negacin conjunta

ni... ni

Ni est soleado ni est nublado.

Disyuncin excluyente

o bien... o bien

O bien est soleado, o bien est nublado.

Conjuncin Sean p y q proposiciones. La proposicin p y q, denotada por p ^ q, es la proposicin que es verdadera cuando tanto p como q son verdaderas y falsas en cualquier otro caso. La proposicin p ^ q se llama conjuncin de p ^ q. Disyuncin Sean p y q proposiciones. La proposicin p o q, denotada por p q, es la

proposicin que es falsa cuando tanto p como q son falsas y verdaderas en cualquier otro caso. La proposicin p q se llama conjuncin de p q.

Implicaciones Sean p y q proposiciones. La implicacin p q es la proposicin que es falsa

cuando p es verdadera y q es falsa y verdadera en cualquier otro caso. En esta implicacin p se le llama hiptesis y q se llama tesis o conclusin. Podemos construir formulas usando los conectivos lgicos. Generalmente, se utiliza el parntesis para especificar el orden en el que deben aplicarse los operadores lgicos en una formula. En la tabla 7 se muestra la precedencia de los operadores lgicos.

La lgica proposicional y la computacin

Debido a que los computadores trabajan con informacin binaria, la herramienta matemtica adecuada para el anlisis y diseo de su funcionamiento es el lgebra de Boole. El lgebra de Boole fue desarrollada inicialmente para el estudio de la lgica. Ha sido a partir de 1938, fecha en que Claude Shannon public un libro llamado "Anlisis simblico de circuitos con rels", estableciendo los primeros conceptos de la actual teora de la conmutacin, cuando se ha producido un aumento considerable en el nmero de trabajos de aplicacin del lgebra de Boole a los computadores digitales. Hoy en da, esta herramienta resulta fundamental para el desarrollo de los computadores ya que, con su ayuda, el anlisis y sntesis de combinaciones complejas de circuitos lgicos puede realizarse con rapidez.

Conclusin:
La lgica ha existido desde tiempos antiguos. La Lgica Proposicional es la que se encarga de estudiar la sintaxis al momento de escribir las sentencias, y solo nos permite arrojar un resultado de verdadero o falso. Asociado con la computacin nos ayuda para poder desarrollar con mayor rapidez y eficacia los
5

computadores. Las formas de relacionar las proposiciones nos van a permitir manipular un ordenador, sin tener mucha dificultad.