Capitulo1: INTRODUCCIN A LA LGICA 1.1. Introduccin. 1.2. Qu se entiende por lgica? 1.3.

Los razonamientos deductivos, inductivos y las falacias. 1.4. Concepto de proposicin. El lenguaje lgico. 1.5. Sistemas formales lgicos. El Sistema Formal de la Lgica de Primer Orden. Capitulo 2: LA LGICA PROPOSICIONAL 2.1 Terminologa 2.2 Conectivos Lgicos 2.3 Tablas de Verdad 2.4 Equivalencias 2.5 Proposicin Condicional Capitulo 3: SISTEMA DE NUMERACIN 3.1 sistema binario 3.2 sistema decimal o base 10 3.3 numeracin octal o hexadecimal Capitulo 4: Teora de Conjuntos Definiciones y notacin Operaciones con conjuntos propiedades de las operaciones con conjuntos

Lgica - Histora

Aristteles, Considerado como el padre de la Lgica. Escribe el primer gran tratado de lgica: El Organn, que consta de 7 libros; El Organn es una coleccin de reglas para el razonamiento deductivo, fueron pensadas en servir como base a toda rama del saber. Gottfried Wilhelm Leibniz. Concibe la idea de que al igual que la notacin algebraica sirve para mecanizar el proceso de razonar con nmeros,. Es decir, que el razonamiento podra hacerse mediante un sistema de smbolos manipulables por ciertas leyes.

George Boole matemtico y filsofo ingls. Es el inventor de lo que ahora llamamos lgebra de Boole, la base de la aritmtica computacional moderna. A la par con De Morgan desarrolla sistema de smbolos para el pensamiento lgico. Augustus De Morgan Matemtico y lgico ingls nacido en la India. Fue tutor de Ada Lovelace. Autor de las Leyes de De Morgan.

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, independientemente del contenido especfico de los estados reales a los que aqullos se puedan referir. En este sentido se habla de la lgica como ciencia formal. La lgica es una disciplina de la filosofa, las matemticas y la informtica.

Desde el siglo XX que la lgica ha pasado a ser principalmente la lgica simblica. Esto se basa en un lenguaje formal y para uso estrictamente definidas reglas de inferencia. Un ejemplo sencillo de un sistema formal es la lgica proposicional. La lgica simblica es tambin conocida como la lgica matemtica o lgica formal en el sentido estricto. La lgica no siempre este sentido de la estructura formal, pero se centr en el mundo antiguo y en la Edad Media , principalmente con los argumentos del lenguaje natural.

La lgica Proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones) que son los elementos bsicos de transmisin de conocimiento humano. De manera informal, una proposicin se define como una frase que puede ser considerada Verdadera o Falsa y que no se puede descomponer en otras frases Verdaderas o Falsas.

Introduccin
Considrese el siguiente argumento:
y Maana es mircoles o maana es jueves. y Maana no es jueves. y Por lo tanto, maana es mircoles.

Este es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones "maana es mircoles" y "maana es jueves", porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo:

y Est soleado o est nublado. y No est nublado. y Por lo tanto, est soleado.

En cambio, la validez de estos dos argumentos depende del significado de las expresiones "o" y "no". Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo:
y Ni est soleado ni est nublado. y No est nublado. y Por lo tanto, est soleado.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de una variedad de estas expresiones. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se les llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc.

As, los dos primeros argumentos de esta seccin podran reescribirse as:
ypoq yNoq y Por lo tanto, p y Y el tercer argumento, a pesar de no ser

vlido, puede reescribirse as: y Ni p ni q y No q y Por lo tanto, p

no

No est lloviendo.

Est lloviendo y est nublado.

Est lloviendo o est soleado.

si... entonces

Si est soleado, entonces es de da.

si y slo si

Est nublado si y slo si hay nubes visibles.

En la lgica proposicional, las constantes lgicas son tratadas como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la constante lgica "no" es una funcin que si toma el valor de verdad 1, devuelve 0, y si toma el valor de verdad 0, devuelve 1. Por lo tanto, si se aplica la funcin "no" a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que "est lloviendo", entonces ser verdadero que "no est lloviendo".

El significado de las constantes lgicas no es nada ms que su comportamiento como funciones de verdad. Cada constante lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada constante lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Negacin p 1 0 p 0 1 p 1 1 0 0

Conjuncin q 1 0 1 0 p^q 1 0 0 0 p 1 1 0 0

Disyuncin q 1 0 1 0 pvq 1 1 1 0

Condicional p 1 1 0 0 q 1 0 1 0 p->q 1 0 1 1 p 1 1 0 0

Bicondicional q 1 0 1 0 p <-> q 1 0 0 1

(pVq)->(p->r)

Lgica Proposicional (PL)

Proposicin La proposicin es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y slo uno de los valores de verdad, que pueden ser: VERDADERO (V) o FALSO (F) Por lo general, a las proposiciones se les representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t, ... etc. As, por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad: p : 15 + 5 = 21 (F) q: San Marcos es un Municipio de Guerrero. (V) r: El nmero 15 es divisible por 3. (V) s: El perro es un ave. (F)

Expresiones No Proposicionales Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre ellos tenemos a los exclamativos, interrogativos o imperativos. As tenemos, por ejemplo: Cmo te llamas? Prohibido pasar Borra el pizarrn.

Clasificacin de las Proposiciones

Aquellas proposiciones que constan o se les puede representar por una sola variable, se llaman proposiciones simples o atmicas. Por ejemplo, sea la proposicin "p: 3 + 6 = 9" es una proposicin simple o atmica. Cuando una proposicin consta de dos o ms enunciados simples, se le llama proposicin compuesta o molecular. As, por ejemplo: Pedro es marquesano y era estudiante p q

encontramos dos enunciados. El primero (p) nos afirma que Pedro es marquesano y el segundo (q) que Pedro era estudiante.

Ejercicios
p V V F F q q p q ( p q ) V F V F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

qr

p(qr)

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

pq

pr

(p q)(pr )

Proposiciones lgicamente equivalentes

Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son idnticas. De ser as se denota: p q Ejemplo: Sea p: p q, recordamos su tabla de verdad:
p 1 1 0 0 q 1 0 1 0 p q 1 0 1 1

Ahora bien , si analizamos la proposicin q: p v q, su tabla de verdad resulta:

p 1 1 0 0 q 1 0 1 0 pvq 1 0 1 1

ambas proposiciones son lgicamente equivalentes, y en este caso q) ( p v q) particular lo simbolizamos: (p

Tautologa, contradiccin y contingencia

Al conjunto de proposiciones, conectivos lgicos y smbolos de agrupacin lo denominamos frmula lgica. Por ejemplo: { (p q) (s t) }

Si al evaluar una frmula lgica, resulta que todos los valores de verdad resultantes son siempre V para cualquier combinacin de sus valores veritativos, decimos que dicha frmula es una Tautologa o Ley lgica.

Ejemplo: Si analizamos la proposicin t: p p realizando su tabla de verdad:

Ejemplo: Analicemos ahora la frmula q) p} q lgica { ( p

Si al estudiar una frmula lgica, a diferencia de los ejemplos anteriores resulta que para cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha frmula es siempre falso, decimos que dicha frmula es una Contradiccin.

Ejemplo: Analicemos la frmula lgica p

p 1 0 P 0 1 p p 1 0

Encontramos que la frmula es siempre falsa, es entonces una Contradiccin. Si una proposicin no es una tautologa ni una contradiccin (es decir que contiene al menos un valor 1 y otro 0) es una contingencia.

ejercicios

es mi pariente la suegra de la mujer de mi hermano? El nmero del portal de mi casa es el doble que el de la casa de mi amigo Adolfo, las casas con nmeros pares estn en la acera izquierda y las que tienen nmeros impares en la derecha. En qu acera estn? Paco es el padre de Alicia. Los dos nacieron el mismo da(aunque en aos distintos)si sumamos los aos de los dos nos dar 50. Cuando Alicia naci, Paco tena ms de 38 aos pero menos de 42. Cuntos aos tiene Alicia y cuantos su padre?