DEFINICIN Y OBJETO DE LA LGICA

La palabra lgica se deriva de la palabra griega logos que significa razonamiento o discurso.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

Proposiciones
La lgica es toda una disciplina en la que las reflexiones y el razonamiento son fundamentales.

Es estudiada tambin por la filosofa, pero, aqu nos referiremos por lgica a la Lgica matemtica. El elemento bsico sobre el que se desarrolla toda esta teora se llama proposicin.
De todo lo anterior se puede decir que una proposicin es una afirmacin con sentido completo de la cual se puede afirmar que es cierta o que es falsa. O que son verdaderas o falsas.

Proposiciones

Ejemplo 1. 1. La sal es un compuesto qumico. 2. 10 < 14 3. 13 es un nmero impar. 4. El sol sale de noche. 5. 45 + 5 = 30 6. De que color es la pared?. 7. Auxilio! Las afirmaciones 1, 2, 3, 4 y 5, son proposiciones aunque no todas son verdaderas siguen siendo proposiciones. A esta propiedad de las proposiciones de ser verdadera o falsa se le llama valor de verdad. Las afirmaciones 6 y 7 no son proposiciones por cuanto no se les puede otorgar un valor de verdad. Por lo tanto las interrogantes as como las exclamaciones no son proposiciones.

Representacin de las proposiciones

Las proposiciones se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de esta forma, el lenguaje proposicional se hace mas simple y exacto que el lenguaje natural.
Los siguientes ejemplos ilustran como se pueden simbolizar las proposiciones: p : Hoy es sbado. q : Estudio ingeniera de sistemas. r : New York es llamada la capital del mundo. s : 1 no es un numero primo. x : 4 + 3 = 10.

Conectivos Lgicos
Los trminos de enlace reciben el nombre de Conectivos lgicos y al igual que a las proposiciones, tambin se les asignan un lenguaje simblico, as: LENGUAJE NATURAL LENGUAJE FORMAL y o v No ~ Si entonces Si y solo si
Vemos varios ejemplos de notacin simblica de las proposiciones: p : Las rosas son rojas. q : Las rosas tienen espinas.

p q: Las rosas son rojas y tienen espinas.

r: La seleccin de Ecuador gano?. s: La seleccin de Ecuador perdi?. r v s : La seleccin de Ecuador gano o perdi?.

Clases de proposiciones

1. Proposiciones simples o atmicas:

Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos. Estos son algunos ejemplos: p : El eclipse es un fenmeno natural. q : La luna es un satlite de la tierra. r : 2 es el inverso multiplicativo de 2. El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no los dos valores al mismo tiempo, pues dejara de ser proposicin.

2. Proposiciones Compuestas o moleculares:

Las proposiciones compuestas son aquellas que se obtienen combinando dos o mas proposiciones simples mediante trminos de enlace. Estos son algunos ejemplos de proposiciones compuestas: p : Esta lloviendo. q: El sol brilla. p q: Esta lloviendo y el sol brilla.

2. Proposiciones Compuestas o moleculares:

x : Quieres caf?. y : Quieres te?. x v y : quieres caf o te?. s : Llueve. r : Hace frio. s r : Si llueve entonces hace frio. p : Un triangulo es equiltero. q: Un triangulo tiene sus tres lados iguales. p q : Un triangulo es equiltero si y solo si tiene sus tres lados iguales. La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la forma como estn combinadas; para establecer este valor, se fijan criterios que se estudiaran en las prximas secciones de este capitulo.

La propiedad fundamental de un enunciado compuesto es que su valor de verdad est completamente determinado por los valores de verdad de sus subenunciados junto con la manera como estn conectados para formar el enunciado compuesto. Comenzamos con un estudio de algunas de estos conectivos. Utilizaremos las letras p; q; r(en minsculas) para denotar proposiciones. Adems una proposicin puede tomar el valor de 1 si es verdadera, 0 si es falsa, esto tambin se espera que ocurra en las proposiciones compuestas, por esto es necesario una tabla que de la oportunidad de verificar todas las posibles combinaciones, la llamaremos Tablas de verdad

Conectivos Lgicos
Como ya se dijo anteriormente, los smbolos que sirven para enlazar dos o mas proposiciones simples, se llaman conectivos lgicos, estos son: la conjuncin, la disyuncin, la negacin, el condicional y el bicondicional.
La conjuncin: Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por p q, se denomina la conjuncin de p y q. Ejemplos de conjuncin: La proposicin compuesta r s : 6 es numero par y entero positivo, esta formada por: r : 6 es un numero par. :y s : entero positivo.

r : 6 es un numero par.

:y

s : entero positivo.

A continuacin se analizan estas posibilidades para el ejemplo 1, el anlisis del ejemplo 2 se deja como ejercicio. 1. r: Verdadera. 6 es un numero par. s: Verdadera. 6 es un entero positivo. r s : Verdadera (V) 2. r: Verdadera. 6 es un numero par. s: Falsa. 6 no es un entero positivo. r s : Falsa (F). 3. r: Falsa. 6 no es un numero par. s: Verdadera. 6 es un entero positivo. r s :Falsa (F). 4 r : Falsa. 6 no es un numero par. s: Falsa. 6 no es un entero positivo. r s: Falsa (F).

La disyuncin v
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama disyuncin de p y q. El operador o se puede usar de dos formas: como o incluyente o como o excluyente. En el primer caso (o incluyente) hace que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva; mientras que en la segunda forma (o excluyente) el valor de verdad de una proposicin excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva tome el valor verdadero. Ejemplo 1. Uso del o incluyente r v s: Juan estudia ingeniera o Paola estudia medicina. r : Juan estudia ingeniera. v:O s: Paola estudia medicina. Ejemplo 2. Uso del o excluyente. x v y : Quieres helado o gaseosa. x : Quieres helado. v:O y: Quieres gaseosa.

La negacin ~ Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta no p simbolizada por: ~ p. Ejemplo 1. p : 3 es un numero entero primo. ~ p : 3 no es un numero entero primo, tambin se puede leer. es falso que 3 es un numero entero primo.

Ejemplo 2. q : El automvil de Francisco es rojo. ~ q: El automvil de Francisco no es rojo ,o, es falso que el automvil de Francisco es rojo.

El condicional
Se dice que una proposicin compuesta es condicional, si esta formada por dos proposiciones simples enlazadas por la expresin sientonces. Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as : p q y se lee p implica q. La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la proposicin precedida por la expresin entonces, se llama consecuente o conclusin de la implicacin. En la expresin p q, el antecedente es p y el consecuente es q. Las proposiciones condicionales se pueden enunciar de diferentes maneras as: Si p entonces q. p solo si q. q si p. p es suficiente para q. q es necesaria para p.

El condicional Los siguientes ejemplos ilustran los anteriores enunciados: Si un entero es mltiplo de 4 entonces es divisible por 2. Apruebo el semestre slo si estudio. El algoritmo esta bien enunciado si el programa corre. Si dos rectas nunca se cortan necesariamente son paralelas.

Cuando una proposicin condicional se escribe en una de las anteriores formas, probablemente, en el lenguaje comn habr alguna que no se interprete como se desea, pero como la lgica no permite ambigedades, estas se deben escribir segn la definicin dada en la seccin. Existen varias formas de enunciar proposiciones condicionales as: Implicacin directa: p q Implicacin contraria: q p Implicacin reciproca: ~ p ~ q Implicacin contrarreciproca: ~ q ~ p

El condicional Ejemplo 1. Dadas las proposiciones p: 2m es divisible por 4 q: m es par entonces: La proposicin directa es: p q: Si 2m es divisible por 4 entonces m es par, la contraria es: q p: Si m es par entonces 2m es divisible por 4, la reciproca es: ~ p ~ q: si 2m no es divisible por 4, entonces m no es par y la contrarreciproca es: ~ q ~ p : Si m no es par, entonces 2m no es divisible por 4.

El bicondicional Se denomina bicondicional a la proposicin formada por dos proposiciones simples conectadas por la expresin si y solo si. Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro. El bicondicional esta formado por las implicaciones p q y q p, las cuales deben tener el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia, se dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir p q. La proposicin bicondicional tiene varias formas de traduccin mas no de significacin, estas son: p si y solo si q. q si y solo si p. si p entonces q y recprocamente. si q entonces q y recprocamente. p es una condicin necesaria y suficiente para q. q es una condicin necesaria y suficiente para p.

El bicondicional Ejemplo 1. Dadas las proposiciones: p: Un triangulo es rectngulo. q: Un triangulo tiene un ngulo recto. El bicondicional p q se puede traducir de las siguientes formas: Un triangulo es rectngulo si y solo si tiene un ngulo recto. Un triangulo tiene un ngulo recto si y solo si es un triangulo rectngulo Si un triangulo es rectngulo entonces tiene un ngulo recto y si un triangulo tiene un ngulo recto entonces es un triangulo rectngulo. Una condicin necesaria y suficiente para que un triangulo sea rectngulo es que tenga un ngulo recto. Una condicin necesaria y suficiente para que un triangulo tenga un ngulo recto es que sea un triangulo rectngulo. Un triangulo rectngulo es equivalente a un triangulo con un ngulo recto.