Professional Documents
Culture Documents
Paulina Gmez
Depto de Matemticas
1.1 CONCEPTO DE LOGICA
En nuestro lenguaje habitual, decimos que algo es lgico si es consecuente y ordenado e
ilgico si no tiene coherencia interna.
LOGICA viene de la palabra LOGIA (del grigo LOGOS) que significa estudio racional, por
tanto, la lcica es la ciencia que estudia los razonamientos y los expresa mediante un
lenguaje, es pues, el estudio de los mtodos que permiten evaluar argumentos o
razonamientos para decidir si la conclusin est sustentada por unos enunciados
(premisas) iniciales.
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; 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; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud
de problemas.
La lgica matemtica proporciona mtodos para determinar cuando un razonamiento es
vlido. Estudia los principios de los razonamientos correctos, sin embargo no garantiza
que llegemos a conclusiones verdaderas, ya que podemos partir de enunciados falsos.
1.2 ALGO DE HISTORIA
Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios
formales de las matemticas. A este periodo se le conoce como periodo clsico, donde
sus principales representantes son Platn, Aristteles y Euclides. Platn introduce sus
ideas o abstracciones; Aristteles presenta el razonamiento deductivo y sistematizado y
Euclides es el personaje que mayor influencia tuvo en las matemticos, al establecer el
mtodo axiomtico.
Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica dirigida por
filsofos, y crea la Academia en Atenas, que no era solo una institucin filosfica, sino
serva de formacin poltica a los jvenes de la aristocracia.). Sostuvo la existencia de
dos mundos distintos (el de las ideas y el de las cosas). Segn Platn, lo concreto se
entiende slo en funcin de lo abstracto, resultando que el mundo sensible debe su
existencia al mundo de las ideas. Platn escogi el dilogo como su forma literaria para
verter su pensamiento; como personaje central de sus Dilogos sita a Scrates, de
quien recibi una notable influencia.
Aristteles. Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como
Organn, contienen el primer tratamiento sistemtico de las leyes de pensamiento en
relacin con la adquisicin de conocimiento. Estos representan el primer intento de
establecer a la lgica como ciencia. Aristteles da una clasificacin de todos los
conceptos o nociones (sustancias, cantidad, relacin, accin, pasin, diferencia,
propiedad y accidente) y trata las reglas del razonamiento silogstico. Aristteles no hace
1 de 15
2 de 15
En este contexto tambin consideraremos que las premisas, en tanto que son conjuntos
de proposiciones, son verdaderas slo cuando todas y cada una de ellas sean verdaderas,
y que son falsas cuando al menos una de ellas sea falsa.
Cuando un argumento no es vlido, entonces es invlido; en este caso es posible que la
conclusin sea falsa mientras que las premisas son verdaderas. Incluso puede ocurrir que
en un argumento invlido (la inferencia es incorrecta) las premisas sean verdaderas y la
conclusin sea verdadera o falsa. La validez de la inferencia de un argumento deductivo
es independiente de la verdad de sus premisas, pero que slo podemos garantizar la
verdad de la conclusin haciendo una inferencia vlida a partir de premisas verdaderas.
Solidez. Algunos lgicos afirman que un argumento es slido cuando es a la vez
formalmente vlido y materialmente adecuado (sus premisas y su conclusin son
verdaderas).
1.4 LENGUAJE NATURAL
Para comunicarnos con los demas utilizamos un lenguaje natural, los lenguajes naturales
estn caracterizados por su gramtica que es la que permite decidir si una frase es o n
vlida.
Por ejemplo: El perro de Luis habla ingles
Es una frase vlida, tiene un sujeto del cual decimos algo (predicado) y gramaticalmente
esta bien construida aunque sea falso lo que se afirma.
La SINTAXIS de un lenguaje son las reglas para la formacin de frases correctas ( la
3 de 15
q: -17 + 38 = 21
r: x > 2y-9
s: 0>100
4 de 15
si siempre es verdadera.
Contradiccin:
es siempre falsa.
Indeterminacin o contingencia:
SIMBOLO
SE LEE
SE LLAMA
NO
Negacin
Conjuncin
Disyuncin inclusiva
O..O
Disyuncin exclusiva
SI ENTONCES
Condicional
SI Y SOLO SI
Bicondicional
x , p x
Todos los polticos son mentirosos
5 de 15
x , p x
Ningn poltico es mentiroso
x , px
Algunos polticos son mentirosos
x , p x
Algunos polticos no son mentirosos
Proposicin
Cuando es Verdadera
Cuando es Falsa
x , px
x , p x
x , p x
x , p x
1.5.1 RAZONAMIENTOS
Un RAZONAMIENTO o ARGUMENTO es un conjunto de dos o ms proposiciones
relacionadas unas con las otras de tal manera que las proposiciones llamadas 'premisas'
se supone que dan soporte a la proposicin denominada 'conclusin'.
La transicin o movimiento desde las premisas hasta la conclusin, es decir, la conexin
lgica entre las premisas y la conclusin, es la inferencia sobre la que descansa el
argumento.
Por ejemplo:
Todos los mamimeros son racionales
6 de 15
Aprobe la asignatura
por tanto estudie
7 de 15
Inferencias inductivas
8 de 15
a=b
a2 = ab ,
a2-b2 = ab-b2
(a+b)(a-b) = b(a-b)
a+b = b
2b = b
2=1
3.
cos2x = 1-sen2x
1+cosx = 1+(1-sen2x)1/2
(1+cosx)2 = (1+(1-sen2x)1/2)2
para x = ,
(1-1)2 = (1+(1-0)1/2)2
0 = (1+1)2
0=4
Halle el error en los razonamientos anteriores.
9 de 15
ninguna de
T confiesas
l lo niega
l es condenado a 10 aos;
t sales libre
l confiesa
Vamos a suponer que ambos prisioneros son completamente egostas y su nica meta es
reducir su propia estancia en la crcel. Como prisioneros tienen dos opciones: cooperar
con su cmplice y permanecer callado, o traicionar a su cmplice y confesar.
El resultado de cada eleccin depende de la eleccin del cmplice. Desafortunadamente,
uno no conoce qu ha elegido hacer el otro. Incluso si pudiesen hablar entre s, no
podran estar seguros de confiar mutuamente.
Hay varios tipos de dilemas, los mas comunes son:
DILEMA SIMPLE CONSTRUCTIVO: Consta de dos premisas condicionales con el mismo
concecuente y una disyuncin de los dos antecedentes
Si estos libros dicen lo mismo que el Corn hay que quemarlos (estn de mas)
10 de 15
11 de 15
2 altares, uno llamado de la Verdad y otro de la Mentira donde se realizan los sacrificios
de acuerdo a una respuesta de la vctima fuera verdadera o falsa. Como es la decisin
ante el siguiente caso?
Pregunta: Donde te vamos a matar?
Respuesta: En el altar de la Mentira
Opciones: 1.- Si la respuesta fuera verdadera el sacrificio debera cumplirse en el altar
de la Verdad.
2.- Si la respuesta fuera el sacrificio debera cumplirse en el altar de la Mentira.
En ambos casos cualquier la decisin sera contradictoria.
LOGICA PROPOSICIONAL
Se habla de dos tipos de enuciados o proposiciones:
Atmicas: Constan de una sola proposicin, no se pueden descomponer ms. Por
ejemplo: El gato sonri la ver al ratn.
Moleculares: Compuestas por dos o ms proposiciones, consta de varios enunciados
atmicos, se pueden descomponer. Ejemplo: El gato sonri al ver al ratn y el ratn
huy.
Para simbilizar las proposiciones generalmente se utilizan las letras minsculas a partir
de la p, como son la p, q, r, s, etc.
CONECTIVOS LOGICOS
Son trminos que conectan los enunciados atmicos, formando as los enunciados
moleculares
LA CONJUNCIN (
pq )
pq
LA DISYUNCIN ( pq )
p
pq
La disyuncin
12 de 15
pq )
CONDICIONAL
Si p y q son proposiciones, la proposicin compuesta si p entonces q es una proposicin
condicional, que se nota p q , se define pq .
p
p q
sea falsa, la
es la contrarrecproca de p q, adems p q p q
pq
qp
(p q) (q p)
13 de 15
p q ( p q)
Conjuncin
p q ( p q)
Condicional
p q p q
Bicondicional
p q ((p q) (q p))
Disyuncin exclusiva
p q ( p q ).
(pp)p
q(pq)
(pq)(qp)
(pq)[(rp)(rq)]
pp
p p.
p p.
p p
(siempre es 1).
4) Ley de contradiccin
(p p) p p
(siempre es 0).
5) Leyes de Morgan
(p q) (p q)
(p q) (p q).
[p (q q)] p.
7) Ley Contrapositiva
p q q p.
14 de 15
8) Leyes de conmutacin
(p q) (q p) ; (p q) (q p)
(p q ) (q p)
9) Leyes de asociacin
(p q) (q p)
(p q) (q p)
[p ( q r)][(p q) (p r)]
[p ( q r)][(p q) (p r)] ;
[p ( q r) ] [ (p q) (p r) ]
[ p ( q r) ] [ (p q) (p r) ]
[p(qr)][q (p r)]
( p q ) [ ( q r ) ( p r ) ] ???
[(pq)(qr)] (pr)
Transitividad
[ p ( p q ) ] q
[ p ( p q ) ] q
[(pq)(pr)(q r)]q
[((pq)(rs))(pr)](qs)
[(p q ) ( r p ) ( s q ) ] ( r s )
[ ( p q ) ( p r ) ] ( q r )
(pq)[(pq)(qp)]
22) Condicional-disyuncin
( p q ) ( p q )
23) Condicional-conjuncin
( p q ) ( p q )
(pq)p;p(pq)
(pq)[p(pq)]
(pq)[q(pq)]
[(pq)p]q
[ ( p q ) q ] p
15 de 15