CAPITULO I

LGICA
Qu es la lgica?
Es el estudio de los procesos vlidos del razonamiento humano.
Es una disciplina que estudia mtodos de anlisis y razonamiento, usando el
lenguaje de las matemticas como un lenguaje analtico.

Por qu necesitamos la Lgica?

Necesitamos un lenguaje con una sintaxis precisa y una semntica bien definida.
Queremos usar este lenguaje en matemticas:
Definicin de objetos matemticos: conjunto, nmeros naturales,
nmeros reales.
Definicin de teoras matemticas: teora de conjuntos, teora de los
nmero naturales.
Definicin del concepto de demostracin.

La lgica proposicional
La lgica proposicional se ocupa de proposiciones. Con proposicin
entendemos una frase sobre la cual es sensato preguntar si es
verdadera o falsa. Ordinariamente las proposiciones estn expresadas
en modo indicativo. Las frases interrogativas, dubitativas, imperativas o
exclamativas no son consideradas como proposiciones. La relacin que
hay entre frases y proposiciones es tal que entre muchas frases slo un
grupo determinado vale como un conjunto de proposiciones, es decir,
aquel que comprende frases que describiendo afirman algo.
Tenemos los siguientes elementos:
Variables proposicionales (P): p, q, r,..
Conectivos lgicos: , _, ^. ! , $
Smbolos de puntuacin: (,)
Cada variable proposicional representa una proposicin completa e
Indivisible, que puede ser verdadera o falsa.

 Lenguaje proposicional:

Proposicin primitiva
Proposicin compuesta
Conectivo lgico:
Conjuncin
Disyuncin
Implicacin
Bicondicin
Tautologa
Contradiccin
Contingencia
Equivalencia lgica

Leyes de la lgica:

Ley de la doble negacin

Leyes de Morgan
Leyes Conmutativas
Leyes asociativas
Leyes distributivas
Leyes idempotencia
Leyes de neutro
Leyes de dominacin
Leyes inversa
Leyes de absorcin

CAPITULO II
Lgica Matemtica
Qu es la lgica matemtica?
Lgica es el estudio del razonamiento; se refiere especficamente a si el
razonamiento es correcto. La lgica se centra en la relacin entre las afirmaciones y
no en el contenido de una afirmacin en particular.
Los mtodos lgicos se usan en matemticas para demostrar teoremas y en las
ciencias de la computacin, para probar que los programas ejecutan lo que deben
de hacer.
El lenguaje natural es un instrumento de comunicacin humana, que se caracteriza
por su gran flexibilidad y puede estar lleno de redundancias y ambigedades. Estas
caractersticas hacen que la lgica formal no est interesada en el lenguaje natural.
La lgica pretende ser una ciencia rigurosa y universal que permita realizar clculos
exactos. Para ello, la lgica requiere el diseo de un lenguaje artificial que sea formal,
donde lo que importe sea la forma o aspecto externo, y no el significado de las frases y
donde slo los mensajes que cumplan rigurosamente las normas sintcticas sean
aceptados como correctos.
La lgica se ocupa bsicamente de declaraciones o enunciados que se caracterizan
porque sus afirmaciones tienen un valor de verdad. Esto es, la lgica trata a las
proposiciones que se pueden definir como enunciados simples, ya sean falsos o
verdaderos, son proposiciones.
La lgica formal es una ciencia que estudia el conocimiento que genera un
conocimiento y este conocimiento puede producirse de dos formas, por
constatacin, de hechos o ideas o por deduccin, a partir de un conocimiento se
obtiene otro conocimiento. Esto es, la lgica formal estudia la deduccin o
razonamiento como proceso mental capaz de generar nuevos elementos de
conocimiento a partir de otros.
Finalmente, la lgica formal es una ciencia. Una ciencia formal. Es el estudio del
razonamiento formalmente vlido, es la ciencia de la inferencia deductiva. La
principal aportacin que la lgica hace a las ciencias est en la ordenacin,
estructuracin y anlisis de las verdades conocidas.

 Lgica proposicional
Lenguaje formal de la lgica proposicional
El lenguaje formal de la lgica proposicional est formado por dos
elementos: proposiciones y conectivos.
Proposiciones:
Proposicin o enunciado: oracin declarativa que es verdadera o falsa pero no
ambas
Proposiciones, frases declarativas simples: son la mnima unidad del lenguaje
con contenido de informacin sobre la que es posible enunciarse con un
verdadero o con un falso como valor de verdad.
Las proposiciones se representan con letras minsculas a partir de la p : p, q,
r, s, t, u, v

Las proposiciones pueden ser de tres tipos:

Proposiciones de accin con sujeto no determinado:
o Hace calor
o Es jueves
Proposiciones de atribucin de propiedades a sujetos determinados:
o Alberto estudia ingeniera
o Beatriz vive en Cuernavaca
o Carlos naci en Mxico
Proposiciones de relacin:
o Alberto es primo de Beatriz
o Cuernavaca es la capital del estado de Morelos
o Para ir a Monterrey por carretera se pasa por los estados de
Distrito Federal, Quertaro, Estado de Mxico, Guanajuato, San
Luis Potos y Coahuila.
No son proposiciones aquellas declaraciones de tipo interrogativo e
imperativo:
o Habla usted ingls?
o Cierra la ventana
Las proposiciones son oraciones declarativas ,pueden ser FALSAS: F o 0
VERDADERAS: V o 1
Proposicin primitiva: no se puede descomponer valor de verdad
Lgica proposicional
Matemticas Discretas
Conectivos: son los elementos del lenguaje que permiten construir frases
nuevas a partir de las existentes obteniendo nuevos significados.

Conectivos
conectivo

Smbolo lgico

Negacin

Conjuncin

pq

Disyuncin
(0)

pq

Bicondicional
doble
implicacin

pq

Expresin en
lenguaje natural
No p
No ocurre que p
No es cierto que p
Es falso que p

Ejemplos

p
p
p
p
p
p
p

p
p
p
p
p
p

yq
aunque q
pero q
sin embargo q
no obstante q
a pesar de q
o q o ambos
O bien p o bien q
Al menos p o q
Como mnimo p o q

p si y solo si q
p necesario y
suficiente para q

No p
No ocurre que p
No es cierto que

yq
aunque q
pero q
sin embargo q
no obstante q
a pesar de q
O vamos al cine o
vamos a cenar
O me saco un 7 o
me
saco un 8
Voy de vacaciones si
y
solo si apruebo
todas
mis materias

Equivalencia entre conectivos:

1. Implicacin disyuncin: p q es equivalente a p q . Ejemplo: si
llueve entonces me mojo, es equivalente a decir, o no llueve o me mojo.
2. Implicacin conjuncin: p q es equivalente a (p q). Ejemplo: si
llueve entonces me mojo, es equivalente a decir, no ocurre que llueva y no
me moje.
3. Disyuncin conjuncin: p q es equivalente a (p q).
4. Bicondicional implicacin: p q es equivalente a (p q) (q p)

Definicin formal del lenguaje proposicional

La definicin formal de un lenguaje requiere la especificacin de su alfabeto

y de sus reglas de sintaxis14.
1. Alfabeto: los smbolos que se utilizan son
a. Smbolos de proposiciones: p, q, r, s, t, u, v

b. Smbolos de conectivos: , , , ,
c. Smbolos de parntesis: {

[()]}

Para la correcta relacin entre proposiciones y

conectivos las fbc:

a. No deben aparecer dos conectivos adyacentes, excepto en la negacin.

b. Es preciso definir la relacin conectivo-proposicin cuando hay ms de un conectivo
en la frmula:
Un conectivo pertenece a la proposicin inmediata o al conjunto de proposiciones
encerradas en un parntesis, corchete o llaves.
Para evitar exceso de parntesis, se define una jerarqua de prioridades entre
conectivos:
o Nivel 1 : negacin
o Nivel 2: conjuncin y disyuncin
o Nivel 3: implicacin y bicondicional

TABLA

p
q

pq

pVq

pq

Tautologa, contradiccin y contingencia

TAUTOLOGA To : Cuando una proposicin compuesta es verdadera para todos los
valores de verdad.
CONTRADICCIN Fo : Cuando una proposicin compuesta es falsa para todos los
valores de verdad.
CONTINGENCIA: Proposicin que puede ser falsa o verdadera dependiendo de los
valores de verdad.

Equivalencias lgicas
Proposicin equivalente: Cuando todos los valores son siempre verdadero o falso

Dos proposiciones S1 y S2 son lgicamente equivalentes (se escribe S1 S2 )

cuando la proposicin S1 es verdadera (respectivamente falsa) si y solo si la
proposicin S2 es verdadera (respectivamente falsa).

LEYES DE LA LGICA

Reglas de sustitucin:
1) Si P (una proposicin compuesta) es una tautologa y p (una proposicin primitiva)
aparece en P. Si p se reemplaza por otra proposicin q y resulta P 1 entonces P1 tambin
es una tautologa.
Ejemplo:
P: p q

p q es una tautologa

Reemplazar p por r s
P1 :

[ (r s)

q]

[ (r s)

q] tambin es una tautologa

2) Sea P una proposicin compuesta donde p es una proposicin arbitraria que aparece
en P, y sea q una proposicin tal que q p. Si se reemplaza p por q resulta la
proposicin P1 . Entonces P1 P.