La lgica es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida.

La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. La lgica examina la validez de los argumentos en trminos de su estructura, (estructura lgica), independientemente del contenido especfico del discurso y de la lengua utilizada en su expresin y de los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lgica es una ciencia formal.

Lgica comun La lgica del sentido comn es aquella que las personas usan continuamente sin darse cuenta[1]. En este contexto, cuando una persona se enfrenta a un problema o hace un razonamiento, suele usar datos que no le han sido sido dados explcitamente

La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con la ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica( o logstica), lgica matemtica, lgica teortica y lgica formal. Proposiciones y operaciones lgicas.

Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica.

A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo.

p: q: r: s: t: w:

La tierra es plana. -17 + 38 = 21 x > y-9 El Morelia ser campen en la presente temporada de Fut-Bol. Hola como estas? Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Conectivos lgicos y proposiciones compuestas.

Existen conectores u operadores lgicas que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son:

Operador and (y) Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Si smbolo es: {, un punto (.), un parntesis}. Se le conoce como la multiplicacin lgica:

Ejemplo. Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera

Sean: p: El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera.

De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue:

Proposicin Es un producto lgico del pensamiento que se expresa mediante el lenguaje, sea ste un lenguaje comn, cuando adopta la forma de oracin gramatical, o simblico, cuando se expresa por medio de signos o smbolos Ejemplos: 6 simples: -El gato es azul. -Hoy es viernes -El verano es caluroso -Mi nombre es Marcos -La msica clsica es bella. -Carla es mi amiga 6 compuestas: -Inglaterra est en Europa "y" Egipto en frica. - Conjuncin -Mi cumpleaos es el 20 de abril "o" el 30 de febrero (una bromita, jeje) - Disyuncin -"Si" trae el anuncio "entonces" tendr el 25% de escuento. Condicional o Implicacin -Guatemala es un pas de pequeo territorio, "o" es de gran territorio - Disyuncin -Te comprar un premio "s y slo s" tienes buenas calificaciones. - Bicondicional o Doble Implicacion -Mi nombre es David "y" soy de Guatemala. - Conjuncin Proposiciones Simples Y Compuestas 1.1. Proposiciones simples y proposiciones compuestas En la lgica se distinguen dos tipos de proposiciones, siendo estas: Proposiciones Simples o atmicas. Proposiciones Compuestas o Moleculares. Antes de iniciar el tratamiento de estos dos tipos de proposiciones, se dar la definicin de los que es una proposicin: Como ejemplos de proposiciones se dan los siguientes: 1. 4 es menor que ocho 2. Carlos es alto 3. Mxico es un pas de Amrica 4. 6 es mayor que 10 5. Mara es inteligente 6. El sbado no hay clases 7. 5 ms 11 es 16 8. El uno es el primer nmero natural Ahora se dan algunas expresiones que no son proposiciones:

1. Cmo te llamas? 2. Qu hora es? 3. UPIICSA 4. El rbol 5. Levanta esa pluma! Lgica es el conjunto de los mtodos y principios usados para distinguir el razonamiento correcto del incorrecto. Proposicin es la oracin afirmativa que puede ser verdadera o falsa, pero no ambas. Estas expresiones no son proposiciones porque no afirman nada que sea verdadero o falso, es decir, la 1 y 2 son preguntas, la 3 y 4 son frases y la 5 es una orden. Ejemplos de proposiciones simples o atmicas: 1. La ballena es roja 2. La raz cuadrada de 16 es 4 3. Gustavo es alto 4. Teresa va a la escuela Ejemplos de proposiciones compuestas: 1. La ballena no es roja 2. Gustavo no es alto 3. Teresa va a la escuela o Mara es inteligente 4. 4 es menor que 8 o 6 es mayor que 10 5. El 1 es el primer nmero primo y es mayor que cero 6. El 7 es mayor que 5 y 7 es menor que 10 7. Si Yolanda es estudiosa entonces pasar el examen 8. Si corro rpido entonces llegar temprano 9. Terminar rpido si y slo si me doy prisa 10. Aprender Matemticas si y slo si estudio mucho Observacin. Se les llama trminos de enlace o conectivos lgicos a las partculas: No, o, y, sientonces, si y solo si observemos que los conectivos: o, y, sientonces, si y solo si, se usan para enlazar dos... Tipos de proposiciones En adelante cuando hablemos de proposiciones, stas sern lgicas. Si son abiertas, significar que el conjunto de sustituciones est bien definido y la harn verdadera o falsa. Para operar con las proposiciones, stas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como estn conformadas. Proposiciones Simples Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre oraciones.

Proposiciones Compuestas Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos de enlace entre oraciones componentes. Ejemplos Ensayemos una lista clasificada y luego algunas aclaraciones: 1) Carlos Fuentes es un escritor. (Simple) 2) Sen(x) no es un nmero mayor que 1. (Compuesta) 3) El 14 y el 7 son factores del 42. (Simple) 4) El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta) 5) El 2 o el 3 son divisores de 48. (Simple) 6) El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta) 7) Si x es nmero primo, entonces x impar. (Compuesta) 8) Si x > 10, entonces 2x - 3 > 16. (Compuesta) 9) No todos los nmeros primos son impares. (Compuesta) Algunas aclaraciones a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo, operativamente se consideran distintos. Similarmente 5) y 6). b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si x > 10.

PROPOSICIONES: una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras 1.PROPOSICION SIMPLE:es una oracion bimembre (es decir tiene sujeto y predicado). Ejemplo. --Maicol come mucho. - La llama es Peruana. - La tierra es plana. - Lava el coche por favor. - Siete es un nmero natural . - Santiago es la capital de Repblica Dominicana. 2.PROPOSICION COMPUESTA:Es la union de dos o mas proposiciones simples unidas por conectivos logicos.

Ejemplo. -45 > 3 s y slo s 12 + 6 = 18 -Si 12 + 6 = 18, entonces 25 + 3 = 23 45 > 3 y 12 + 6 = 18 45 > 3 s y slo s 12 + 6 = 18 -Maicol come mucho y la llama es peruana entonces la llama vive con Maicol. -El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera -La manzana es una fruta y es saludable, El gato es un animal y respira