Professional Documents
Culture Documents
EL LENGUAJE NATURAL
Es el que se habla dentro de una comunidad en la que se ha gestado y
desarrollado. Los miembros de ese pueblo lo aprenden espontneamente en los
primeros aos de su vida. En definitiva, el lenguaje natural es la lengua materna, que se
aprende en la infancia en toda su extensin y riqueza.
El lenguaje natural es el vehculo de comunicacin por excelencia, tiene por ello
una gran riqueza expresiva, pueden expresarse las ideas de muchas formas diferentes y
darles infinitos matices, pero esta que es su gran ventaja es tambin su principal
inconveniente para ser utilizado como vehculo del conocimiento cientfico. La ciencia ha
de expresar sus conocimientos de forma rigurosa, y el lenguaje natural encierra, debido
a su riqueza y expresividad, diferentes tipos de errores.
ERRORES:
POLISEMIA: El problema se halla en el propio mensaje que presenta diferentes
significados:
o Equivocidad: Trminos con igual grafa y pronunciacin pero con distintos
significados:
o
LENGUAJE ARTIFICIAL
Para expresar de modo riguroso las teoras cientficas se siente la necesidad de
crear lenguajes con menor riqueza, pero con mayor precisin y rigor. Para ello se
elaboran lenguajes artificiales, con uso de trminos con significado nico y preciso. Y
para facilitar su rigor, relacionar precisamente los conceptos e, incluso, hacer posible el
clculo, se recurre al uso de variables y a la formalizacin de sus enunciados.
Un lenguaje artificial es el producto de diseo consciente por parte de una
comunidad de especialistas, basndose en acuerdos arbitrarios sobre los signos y reglas
que van a formar ese lenguaje. Su aprendizaje es deliberado y requiere una enseanza
explcita.
Existen distintos tipos de lenguajes artificiales, de los cuales vamos a hablar del
lenguaje formal, sistema formal o clculo y lenguaje formalizado:
Lenguaje formal: Se compone de los siguientes elementos:
Vocabulario primitivo: los smbolos elementales que van a formar parte del
lenguaje
o Reglas de formacin de frmulas bien formadas (FBF): establecen las
relaciones posibles entre signos
o
LA LGICA
QU ES?
Es la ciencia que estudia los principios (leyes y reglas) de la validez formal de
la inferencia.
LA VALIDEZ FORMAL
validez de la forma, no la verdad material que posean las premisas, no se ocupa del
contenido. Es la forma la que es vlida o no, correcta o incorrecta. Por eso podemos
prescindir del contenido, y quedarnos con la estructura, con la forma para analizar si es
correcta.
Y cundo una forma de razonamiento es vlida? Cuando al llenarla de contenido,
si sus premisas son verdaderas, su conclusin ha de ser necesariamente verdadera. Pero
a la lgica hay que insistir en ello- no le interesa si de hecho las premisas son
verdaderas, simplemente garantiza que aceptando que lo sean, un razonamiento vlido
nos llevar necesariamente a una conclusin verdadera.
La verdad de las premisas es independiente de la validez de la inferencia. Existen
argumentos no vlidos con premisas y conclusin verdaderas y argumentos vlidos con
premisas y conclusin falsas. Pero si un argumento es vlido, si las premisas son
verdaderas la conclusin lo ser necesariamente, puesto que se ha razonado de forma
correcta a partir de enunciados verdaderos.
Todos los espaoles son australianos
El rey de Marruecos es australiano
__________________________________
El rey de Marruecos es espaol
P: F R: NoVl
Si las esmeraldas son verdes entonces la
luna es lenta.
Pero la luna no es lenta
Por tanto, las esmeraldas no son verdes
Pr: F y concl: F Raz:
Val
Raz vlido
PRINCIPIOS
son
q
1
0
1
0
Etc
FORMALIZACIN DE LA FORMA
Se formalizan los operadores o nexos que relacionan los enunciados entre s.
Existen operadores mondicos, que afectan a una sola proposicin, sea sta
simple o compleja. Y operaores didicos, que relacionan dos proposiciones.
: P
afecta.
p
p
1 0
0 1
OPERADORES DIDICOS:
CONJUNCIN O CONJUNTOR: ^ ( Y )
p q
5
1
1
0
0
1
0
1
0
1
0
1
1
o nicamente si.
1
0
1
0
p
q
1
0
0
1
CONTRADICCIONES
FRMULAS
MERAMENTE
(p q)
[(p q) ^ p [(p q) ^ p ] q
6
]
1
1
1
1
0
0
0
1
1
0
0
1
Es una tautologa
1
0
0
0
1
1
1
1
Tengo estos huesos hechos a las penas y a las cavilaciones estas sienes
Ni contigo, ni sin ti.
No es cierto que no te escuche
No es cierto que cantaran y bailaran
O estudias o sers un desgraciado
Si buscas palabras de amor en la tierra, mata tus palabras y oye tu alma vieja
Ni puedo prohibirlo, ni puedo tolerarlo
EL CLCULO DE LA DEDUCCIN NATURAL
Se puede entender la Lgica como un conjunto de clculos de los cuales el ms sencillo
es el clculo de la deduccin natural en la lgica proposicional.
Deducir es obtener unas FBF a partir de otras dadas en virtud de las relaciones lgicas
que existen entre ellas, a las expresiones lgicas de las que se parte se le llaman
premisas, la que se obtienen es la conclusin La deduccin ser correcta cuando se
base en esquemas vlidos de razonamiento, esto es, en reglas lgicas correctas, en ese
caso se puede asegurar que la conclusin se sigue de las premisas.
La lgica va a sistematizar reglas bsicas y otras que se derivan de ellas, que son las
reglas del razonar correcto.
Qu es una regla?
Una regla es una instruccin para pasar de forma correcta o vlida de unas frmulas
bien formadas que son las premisas a otra que es la conclusin. No son propiamente
expresiones lgicas, sino que hablan de las expresiones lgicas, son, por tanto, un
metalenguaje
Se diferencian de las tautologas o leyes lgicas en que stas s estn expresadas en
lenguaje lgico Aunque cada ley puede en una regla y viceversa, si se pasan al
formato adecuado.
QU ES UNA DEDUCCIN?
Paso de unas premisas a una conclusin, que se sigue necesariamente de ellas
DEDUCCIN DIRECTA: Aquellas en las que las premisas llevan de un modo directo a la
conclusin al aplicar correctamente las reglas de inferencia vlida.
DEDUCCIN INDIRECTA o REDUCCIN AL ABSURDO: Se parte de la negacin de la
conclusin, y al intentar derivar de las premisas dicha frmula se llega a una
contradiccin por lo que se niega el punto de partida y se afirma lo contrario de lo que se
parti, es decir, la conclusin, de modo que queda probado que la conclusin se sigue de
las premisas.
INFERENCIA INMEDIATA: Se obtiene una frmula a partir de otras aplicando una sola
regla de inferencia.
DEDUCCIN NATURAL O FORMAL (Tambin llamada DERIVACIN)
Es una secuencia finita de frmulas tales que cada una de ellas es:
- Un supuesto inicial o premisa
- Un supuesto subsidiario o provisional que se utiliza como apoyo de la deduccin
pero despus se elimina
O una frmula que se obtiene por inferencia inmediata, es decir, por la aplicacin
de una sola regla de inferencia de otras.
REGLAS LGICAS
MODUS PONENS
M.P.
A B
A
_______
B
1.- p q, q r, p l- r
2.- si los lobos allan a la luna llena, las noches son escalofriantes y los elefantes
caminan sin cesar.
Si las noches son escalofriantes y los elefantes caminan sin cesar, los nios lloran de
terror
Y los lobos allan a la luna llena
Por tanto
Los nios lloran de terror
3.- p q, q r V s, r V s u V w, p l- u V w
4.- (p ^q) r , r s , s t, p ^q l- t
5.- Manuela est preocupada, aydala en sus dudas:
Si sale diariamente con sus amigos, entonces baila alocadamente
Si baila alocadamente no puede estudiar todas las horas que necesita
Si no estudia todas esas horas no aprobar lgica
Si no aprueba lgica, no podr dedicarse a descansar plcidamente en vacaciones
Y Manuela sale diariamente con sus amigos
Cul es la conclusin?
6.- p q , q r, r s, s u, u t, p l- t
MODUS TOLLENS
M.T.
A B
B
_______
A
1.- p q, q r, r s , s l- p
2.- Si fueras un mandarn de la China, viviras con lujo y no tendras que trabajar
Si vivieras de esa manera, te distraeras haciendo viajes alrededor del mundo o
alimentando faisanes en tu majestuoso palacio
Como no es este el caso
Deduzco
Que no eres un mandarn de la China
3.- p (q ^ r), (q ^ r) (s V t ) , (s V t ) l- p
4.- w (r ^s ), ( u h), t (m V n), (r ^ s) (u h), (m V n) w, ( p V q)
t l- (p V q)
5.-( Sandra quiere meterse a detective y probar con la prctica su lgica aplastante, pero
no se le presenta ningn caso a resolver, parece que la gente an no confa en ella
Esto acabar el da que tenga su primer caso, por eso ella no se queda de brazos
cruzados esperando, sino que llama a toda puerta que le parece sospechosa cuando le
abren la puerta larga el siguiente razonamiento:)
Si se hubiese cometido un crimen en esta casa, ustedes habran necesitado los servicios
de un detective
Si los hubiesen necesitado, lo habran llamado por telfono. Si as lo hubieran hecho,
habran buscado el nmero de telfono en internet y habran marcado el nmero Si
hubiesen buscado y marcado el nmero, habran estado perdiendo el tiempo Pero
ustedes niegan haber perdido el tiempo de ese modo As que concluyo que en esta
casa no se ha cometido crimen alguno
6.- p (q ^r( , p, s (q ^r) , s t l- t
7 .- ( P ^q) ( r V s) , (r V s) t , q t, q l- (p ^q )
DOBLE NEGACIN
A
______
A
1.- p q, q, (r ^s) p, (r ^ s) (t V u) l- (t V u)
SILOGISMO DISYUNTIVO
AV B
A
V B
B
A
_______ SD
_______
SD
A
B
1.- p v q , q V r , r l- p
S.D.
Si se parte de una disyuncin, y se tiene la negacin de
uno de sus miembros, se puede concluir la afirmacin del
otro miembro de la disyuncin
10
PRODUCTO
Prod
Si se tienen como premisas cualesquiera dos frmulas bien
formadas, que se aceptan como verdaderas, se puede
concluir la conjuncin o producto de ambas frmulas, pues
ste tambin ser necesariamente verdadero.
A
B
_______
A ^ B
SIMPLIFICACIN
A ^ B
B
______
A
Simpl
A^
______
B
DM
DM 1: La negacin del producto equivale a la
disyuncin de las negaciones
DM 2: La negacin de una disyuncin equivale al
producto de las negaciones
(A v
________
A ^
1.- q, p ^r q, p ^ s, r u l- u
2.- p V q, p, q(r V s) l- r
PRUEBA POR CASOS
A v B
A
.
.
C
B
.
.
C
_____________
C
1.- pV q, p r ^ s, s t, q r V w, w t l- t
TEOREMA DE LA DEDUCCIN
A
.
.
B
__________________
AB
11
1.- p t, t V m, m s l- p m^s
2.- p V w r, r s, t s, t V q l- q w
REDUCCIN AL ABSURDO
A
.
.
X ^ X
__________________
A
1.- p q, r q l- (p ^r )
2.- p ^q r, r s, q ^ s l- p
SILOGISMO HIPOTTICO
AB
BC
___________
AC
1.- p q ^r, q s, s t l- t ^r
12