NDICE

pg.
Introduccin 4
CAPTULO I

LGICA
1.1 Qu es la Lgica? 5
1.2
1.3





1.4

Importancia
Tipos de lgicas
1.3.1. lgicas para razonamiento matemtico
1.3.2. lgicas Descriptivas
1.3.4. lgica Difusa
1.3.5. lgicas Modales
1.3.6. lgicas multivaluadas
Formas de lgicas
1.4.1. lgicas clsicas
1.4.2. lgicas No Clsicas
1.4.3. lgicas Modales

5
6
6
6
6
7
7
7
7
7
8


CAPITULO II
LOGICA MATEMATICA

2.1
2.2
2.3
2.4
2.5
2.6
Qu es Lgica Matemtica? 9
Lgica Proposicional 9
Proposicin 10
Valor de la Verdad 11
Clases de Proposiciones lgicas 12
Conectivos Lgicos 12





2






2.7
2.8


2.6.1. Conjuncin 13
2.6.2. La disyuncin inclusiva o suma lgica 13
2.6.3. La disyuncin exclusiva o diferencia simtrica 14
2.6.4. La negacin 14
2.6.5. El condicional 15
2.6.6. La bicondicional o doble implicacin 15
Tautologas, equivalencia y contradiccin 16
Principales leyes Lgicas 17

Conclusiones y Recomendaciones 19
Referencias bibliogrficas 20


















3
INTRODUCCIN


El presente trabajo est elaborado para la explicacin de la lgica que est basada en
establecer una verdad, cuando queremos convencer a alguien de que nuestra posicin o
nuestras ideas son las correctas, recurrimos a un razonamiento o presentamos evidencia
que respalda nuestras opiniones.
Este razonamiento o evidencia presentada con el propsito de demostrar algo es un
argumento. Por supuesto hay buenos y malos argumentos, en trminos muy vagos, la
lgica es la ciencia que trata de distinguir los buenos argumentos de los malos
argumentos.
Por lo cual La lgica es ampliamente aplicada en la filosofa, matemticas,
computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no,
ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite
saber el significado correcto. En las matemticas para demostrar teoremas e inferir
resultados matemticos que puedan ser aplicados en investigaciones. En la computacin
para revisar programas.
Adems, La lgica es pues muy importante; ya que permite resolver incluso problemas
a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos
innovaciones a los ya existentes o simplemente la utilizacin de los mismos.







CAPITULO I


4

1.1 Qu es la Lgica?
La lgica es la disciplina que estudia los principios formales del conocimiento humano,
es decir, las formas y las leyes ms generales del pensamiento humano considerado
puramente en s mismo, sin referencia a los objetos. Los problemas principales de la
lgica son las doctrinas del concepto, del juicio, del silogismo y del mtodo.
Esfuerzos por modelar estas leyes del pensamiento humano. Han existido desde la
antigedad.
Como ejemplo podemos tomar los silogismos:
Todos los perros son mamferos.
Todos los mamferos son animales
Podemos concluir que:
Todos los perros son animales.
Ninguna gaviota es un traductor.
Algunas araas son gaviotas.
Podemos concluir que:
Algunas araas no son traductores
Los silogismos datan de la poca de Aristteles (350 AC aprox).
Nosotros nos preocuparemos de la lgica matemtica.
La lgica es una disciplina matemtica relativamente nueva (100 aos aprox.)
Es el razonamiento humano lgico?
Es comn que mucha gente realice razonamientos incorrectos como el siguiente:
Si Daniela tiene prueba, estudia toda la tarde
Daniela ha estudiado toda la tarde Entonces:
Daniela tiene prueba.
1.1 Importancia
Porque la lgica es importante para el razonamiento matemtico.
Muchas otras disciplinas usan lgica: Psicologa, Filosofa, Fsica, Lingstica.


5
La lgica es esencial en ciencia de la computacin. Algunos usos:
- Programacin en general.
- Modelacin Formal de algoritmos, verificacin de propiedades.
- Modelacin Formal de mquinas.
- Representacin formal del conocimiento y razonamiento.
- Bases de Datos.
Adems, algunas lgicas son implementarles (demostradores mecnicos de Teoremas).
Existen lenguajes de programacin basados en lgica (Prolog).
Procesamiento de Lenguaje Natural.
1.2 Tipos de lgicas
Hay tipos de lgicas de las cuales se pueden clasificar de la siguiente forma:
1.2.1 lgicas para razonamiento matemtico
En esta lgica se puede observar y analizar en los casos de lgica proposicional, que son
de primer orden, segundo orden.
Ej.:
- Mxico se encuentra en Europa.
- 156 = 9
- 2x 3 > 7
- Los precios de los telfonos celulares bajarn a fin de ao.
- Hola cmo ests?
- Cmete esa fruta!

1.2.2 lgicas Descriptivas
Son usadas en representacin de conocimiento y Web Semntico.
Ejemplo: Para el dominio que representa a las familias,
Padres u Hombre e Hijo. Mujer
Puede representar a la clase de padres varones que solo tienen hijas mujeres.

1.2.3 lgica Difusa


6
Se basa cuando se pierde la nocin de lo verdadero y lo falso. Aparecen nociones
intermedias. Ha tenido gran xito en la programacin de controladores automticos.
1.2.4 lgicas Modales
Estas lgicas tienen por objetivo expresar nociones de necesidad y posibilidad. Por
ejemplo:
- p significa necesariamente p.
- p significa posiblemente p. Observemos que
- p es equivalente a p.

1.2.5 lgicas multivaluadas
Esta lgica se observa en muchas de las ramas de la matemtica, de la filosofa y de la
informtica formalizamos enunciados relativos a diversos tipos de objetos y se usan ms
de dos valores de verdad, para describir conceptos ms all de lo verdadero y lo falso
Por consiguiente, tanto los lenguajes lgicos utilizados, como las estructuras
matemticas que los interpretan son multivariado o heterogneos; esto es, el conjunto de
las variables del lenguaje toma valores sobre diversos universos o dominios.
1.3 Formas de lgicas
Existe un debate sobre si es correcto hablar de una lgica, o de varias lgicas, pero se
considera varios sistemas lgicos diferentes, que capturan y formalizan distintas partes
del lenguaje natural.
1.3.1 Lgicas Clsica
Trata del estudio del razonamiento desde su aspecto correcto. Sin implicar la validez de
tal razonamiento. Es adecuado pensar que si hoy es lunes entonces ir a la escuela. Mi
pensamiento es correcto sin importar si es o no vlido. As como decir La tierra gira, la
lluvia cae, el sol calienta, etc. Hay ciertas reglas que a la lgica material le importan
para que un pensamiento sea correcto, de esto habla la estructura y las figuras lgicas.
Entre los sistemas lgicos clsicos se encuentran:
- Lgica proposicional
- Lgica de primer orden
- Lgica de segundo orden

1.3.2 lgicas No Clsicas


7
Los sistemas lgicos no clsicos son aquellos que rechazan uno o varios de los
principios de la lgica clsica. Algunos de estos sistemas son:
- Lgica difusa: Es una lgica plurivalente que rechaza el principio del tercero
excluido y propone un nmero infinito de valores de verdad.
- Lgica relevante: Es una lgica para consistente que evita el principio de
explosin al exigir que para que un argumento sea vlido, las premisas y la
conclusin deben compartir al menos una variable proposicional.
- Lgica cuntica: Desarrollada para lidiar con razonamientos en el campo de
la mecnica cuntica; su caracterstica ms notable es el rechazo de la propiedad
distributiva.
- Lgica no monotnica: Una lgica no mono tnica es una lgica donde, al agregar
una frmula a una teora cualquiera, es posible que el conjunto de consecuencias de
esa teora se reduzca.
- Lgica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las
transformaciones de las proposiciones.

1.3.3 lgicas Modales
Las lgicas modales estn diseadas para tratar con expresiones que califican la verdad
de los juicios. As por ejemplo, la expresin siempre califica a un juicio verdadero
como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir est
lloviendo que decir siempre est lloviendo.
- Lgica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad
y contingencia.
- Lgica dentica: Se ocupa de las nociones morales de obligacin y permisibilidad.
- Lgica temporal: Abarca operadores temporales como siempre, nunca,
antes, despus, etc.
- Lgica epistmica: Es la lgica que formaliza los razonamientos relacionados con
el conocimiento.
- Lgica doxstica: Es la lgica que trata con los razonamientos acerca de
las creencias.










8
CAPITULO II

2.1 Qu es Lgica Matemtica?
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
valido un argumento dado. El razonamiento lgico se emplea en Matemticas para
demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier
actividad en la vida.

2.2 Lgica Proposicional
Es un enunciado que puede ser falso o verdadero pero no ambas a la vez. La
proposicin es un elemento fundamental de la lgica matemtica.
A continuacin se tienen algunos ejemplos de proposiciones lgicas vlidas y no
vlidas, y se explica por qu algunos enunciados no son proposiciones. Las
proposiciones se indican por medio de una letra minscula, dos puntos y la oracin.
Ejemplos:
Un tringulo es una figura plana que tiene tres lados.
q: -17 + 38 = 21
r: x > y-9
s: El Madriz ser campen de ftbol.
t: Hola cmo ests?
w: Lava el coche por favor.
Los enunciados p y q sabemos que pueden tomar un valor de falso o verdadero; por lo
tanto son proposiciones vlidas. El enunciado r no es una proposicin valida, el valor
de falso o verdadero depende del valor asignado a las variables x y y en determinado
momento, pero puede llegar a serlo, a este tipo de expresiones se les llama formas
proposicionales. La proposicin s tambin esta perfectamente expresada aunque para
decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de
ftbol, por lo tanto no es una proposicin lgica. Finalmente los enunciados t y w no


9
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.
En este curso nuestra meta, en la medida en que se pueda, consiste en:
1. Traducir las proposiciones del lenguaje ordinario a la forma simblica.
2. Simplificar la forma simblica.
3. Traducir la forma simplificada de nuevo a proposiciones del lenguaje ordinario.
Para fines prcticos, supondremos que las traducciones en un sentido y en otro entre el
lenguaje ordinario y el simblico se pueden efectuar de manera sencilla. Aunque en la
realidad, no siempre sucede as, desafortunadamente. Al traducir, debemos preguntarnos
qu significa la oracin en el lenguaje natural, y luego tratar de encontrar una
proposicin en el lenguaje simblico que tenga, hasta donde sea posible, el mismo
significado.
2.3 Proposicin
Llamaremos de esta forma a cualquier armacin que sea verdadera o falsa, pero no
ambas cosas a la vez.
Ejemplo: Las siguientes armaciones son proposiciones.
(a) Gabriel Garca Mrquez escribi. Cien aos de soledad.
(b) 6 es un nmero primo.
(c) 3+2=6
(d) 1 es un nmero entero, pero 2 no lo es.
Nota: Las proposiciones se notan con letras minsculas, p, q, r . . . . . . La notacin p
Tres ms cuatro es igual a siete se utiliza para definir que p es la proposicin tres ms
cuatro es igual a siete.
Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en
otras.
Ejemplo: Las siguientes no son proposiciones.
(a) x + y > 5


10
(b) Te vas?
(c) Compra cinco azules y cuatro rojas.
(d) x = 2
Nota: En efecto, (a) es una armacin pero no es una proposicin ya que ser verdadera
o falsa dependiendo de los valores de x e y e igual ocurre con la afirmacin (d). Los
ejemplos (b) y (c) no son afirmaciones, por lo tanto no son proposiciones. Desde el
punto de vista lgico carece de importancia cual sea el contenido material de los
enunciados, solamente interesa su valor de verdad.
2.4 Valor de la Verdad
Llamaremos valor verdadero o de verdad de una proposicin a su veracidad o falsedad.
El valor de verdad de una proposicin verdadera es verdad y el de una proposicin falsa
es falsa.
Ejemplo: Dgase cuales de las siguientes armaciones son proposiciones y determinar
el valor de verdad de aquellas que lo sean.
(a) p: Existe Premio Nobel de informtica.
(b) q: La tierra es el nico planeta del Universo que tiene vida.
(c) r: Teclee Escape para salir de la aplicacin.
(d) s: Cinco ms siete es grande.
Solucin:
(a) p es una proposicin falsa, es decir su valor de verdad es Falso.
(b) No sabemos si q es una proposicin ya que desconocemos si esta afirmacin es
verdadera o falsa.
(c) r no es una proposicin ya que no es verdadera ni es falsa. Es un mandato.
(d) s no es una proposicin ya que su enunciado, al carecer de contexto, es ambiguo. En
efecto, cinco nias ms siete nios es un nmero grande de hijos en una familia, sin


11
embargo cinco monedas de cinco cinco cntimos ms siete monedas de un cntimo no
constituyen una cantidad de dinero grande.
2.5 Clases de proposiciones lgicas
Podemos distinguir dos clases de proposiciones lgicas: simples y compuestas
a) Proposiciones lgicas Simples: Se caracterizan por tener un solo sujeto y un
solo predicado.
Ejemplo: Carlos Fuentes es un escritor.
b) Proposiciones lgicas Compuestas: Son aquellas que estn constituidas por dos
o ms proposiciones lgicas simples.
Ejemplo: La Matemtica Discreta es mi asignatura preferida y Mozart fue un gran
compositor es una proposicin compuesta por las proposiciones La Matemtica
Discreta es mi asignatura preferida y Mozart fue un gran compositor.
2.6 Conectivos Lgicos
Son smbolos lgicos que enlazan proposiciones lgicas simples, sin formar parte de
ellas entre estos conectivos tenemos los siguientes:
Conector Smbolo Interpretacin
Conjuncin
Disyuncin
Condicional

Bicondicional
.
v



y, pero
o
s entonces
implica
si y slo si
equivale a
Existen otras interpretaciones de los conectivos lgicos, pero estas son las ms comunes.
Las expresiones gramaticales como no es cierto que, no ocurre que, es falso que,
no, que se usan para modificar el valor de verdad de una proposicin, se llaman modificador
negativo o modificador no.
Smbolo Interpretacin

~
No
No es cierto que
No ocurre que
Es falso que



12
El modificador negativo no es un conectivo lgico porque no enlaza proposiciones.
2.6.1 Conjuncin
Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas a la
proposicin compuesta p y q y la notaremos p q. Esta proposicin ser verdadera
nicamente en el caso de que ambas proposiciones lo sean. ( Se simboliza: " ", se lee:
" y "
P Q PQ
V V V
V F F
F V F
F F F
Ejemplo: Sean las proposiciones:
P: 4 es mayor que 7
Q: 4 es igual a 7
2.6.2 La disyuncin inclusiva o suma lgica
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la
proposicin compuesta p o q y la notaremos p v q. Esta proposicin ser verdadera si
al menos una de las dos p o q lo es.
P Q PVQ
V V V
V F V
F V V
F F F
Ejemplo:
12 es mltiplo de 3 o 5 es numero par
Si P:12 es mltiplo de 3: v(p)=V
Q:5 es numero par : v(q)=f
Resultado (pvq)=V




13
2.6.3 La disyuncin exclusiva o diferencia simtrica
Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas
a la proposicin compuesta p o q pero no ambos y la notaremos pYq. Esta
proposicin ser verdadera si una u otra, pero no ambas son verdaderas.
Segn esta definicin una disyuncin exclusiva de dos proposiciones p y q ser
verdadera cuando tengan distintos valores de verdad y falsa cuando sus valores de
verdad sean iguales. Su tabla de verdad es, por tanto.
P Q PQ
V V F
V F V
F V V
F F F
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemtica
Aplicando el operador lgico resulta:
pq: O Ricardo juega en el patio o Eduardo estudia matemtica.
2.6.4 La negacin
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es
verdadera y se le aplica el operador not se obtendr su negacin (falso) y viceversa. Este
operador se indica por medio del smbolo .
Ejemplo.
Sea el siguiente enunciado: El len es el rey de la selva
Sean:
p: El len es el rey de la selva.
p: El len no es el rey de la selva.
Su tabla de verdad es como sigue:
P P
V F
V V



14
2.6.5 El condicional
Dadas dos proposiciones p y q, a la proposicin compuesta
si p, entonces q
Se le llama proposicin condicional y se nota por
p q
A la proposicin p se le llama hiptesis, antecedente, premisa o condicin suciente y
a la q tesis, consecuente, conclusin o condicin necesaria del condicional. Una
proposicin condicional es falsa nicamente cuando siendo verdad la hiptesis, la
conclusin es falsa (no se debe deducir una conclusin falsa de una hiptesis
verdadera).
De acuerdo con esta definicin su tabla de verdad es:
P Q PQ
V V V
V F F
F V V
F F V

Ejemplo:
Un profesionista dice "Si ahorro me podr comprar una casa en tres aos. Una
declaracin como esta se conoce como condicional.
Sean:
p: Ahorro.
q: Podr comprar una casa en tres aos.
De tal manera que el enunciado se puede expresar como: pq

2.6.6 La bicondicional o doble implicacin
Sean p y q dos proposiciones. Una doble implicacin o proposicin es bicondicional
cuando p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y slo si q
tambin lo es. Se indica de la siguiente manera:


pq (se lee "p si y slo si q")
Por tanto, su tabla de verdad es:



15
P Q PQ
V V V
V F F
F V F
F F V

Ejemplo:
Representar simblicamente el enunciado: "Si no pago la luz, entonces me cortarn la
corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado.
Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si y slo si
soy desorganizado"
Solucin:
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: Soy desorganizado.
(pq) [p (r v s)] [(rs) t] w
2.7 Tautologas, equivalencia y contradiccin
TAUTOLOGA: Una proposicin compuesta es una tautologa si es verdadera para
todas las asignaciones de valores de verdad para sus proposiciones componentes. Dicho
de otra forma, su valor V no depende de los valores de verdad de las proposiciones que
la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas
con otras. Sea el caso: A V A

A A AVA
V F V
F V V




16
CONTRADICCIN: Se entiende por proposicin contradictoria, o contradiccin,
aquella proposicin que en todos los casos posibles de su tabla de verdad su valor
siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de
las proposiciones que la forman, sino de la forma en que estn establecidas las
relaciones sintcticas de unas con otras. Sea el caso: A A
A A A A
V F V
F V F

CONTINGENCIA: Se entiende por verdad contingente, o verdad de hecho, aquella
proposicin que puede ser verdadera o falsa,(combinacin entre tautologa y
contradiccin) segn los valores de las proposiciones que la integran. Sea el caso:
A (B V C)
A B C B V C A (BVC)

V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F F


Ejemplo:
La expresin (p ^ q) (p r) es una tautologa

2.8 Principales leyes Lgicas
Las leyes de lgica ms notables son las que se enlistan a continuacin:

p p Ley del medio excluido
(p ^ p) Ley de no contradiccin
(p) p Doble Negacin
(p q) p ^ q Ley 1 de De Morgan
(p ^ q) p q Ley 2 de De Morgan
((p q)^p) q Modus ponendo ponens


17
((p q)^ q) p Modus tollendo tollens
((p q) p) q Silogismo Disyuntivo
((p q) (q r)) (p r) Silogismo Hipottico
(p q) ( p q) Condicional como clusula
((p q) ( q p) Contrapositiva

























18
CONCLUSIONES

Por lo cual La lgica es ampliamente aplicada en la filosofa, matemticas,
computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no,
ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite
saber el significado correcto. En las matemticas para demostrar teoremas e inferir
resultados matemticos que puedan ser aplicados en investigaciones. En la computacin
para revisar programas.
Adems, La lgica es pues muy importante; ya que permite resolver incluso problemas
a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos
innovaciones a los ya existentes o simplemente la utilizacin de los mismos.



















19










REFERENCIAS BIBLIOGRFICAS
Introduccin a la Lgica, Karl. J. Smith, Grupo Editorial Iberoamrica.
Matemtica 1 Educ. Secundaria SGS, Lus Senz, Lus Gutirrez, Rger Sequeira, Farben Grupo
Editorial Norma.