Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad4 Introduccion A La Logica
Unidad4 Introduccion A La Logica
Fundamentos Informticos
Autoras: Ing. Elizabeth Cadme, Ing. Priscila Valdiviezo
UNIDAD4:INTRODUCCINALALGICA
Bien! hemos pasado a la segunda parte de los contenidos, espero que esos nimos
sigan predispuestos a continuar con el estudio de estos nuevos contenidos. Lo
invitamos entonces a iniciar con mayor entusiasmo el desarrollo de este bimestre,
empezando con el tratamiento de algunos aspectos esenciales de la lgica. El primero
y bsico es el conocer un poco acerca de la importancia de esta rama de la ciencia
que es la que determina si un razonamiento es vlido o no. Algunos precursores de la
lgica pudieron verificar que esta ciencia casi expresada en su totalidad en palabras
no haca posible una fcil aplicacin sobre temas matemticos cuyo procedimiento y
desarrollo se quera comprobar, por lo que se introdujo smbolos que representan las
definiciones y reglas dadas por la lgica, crendose por consiguiente la lgica
simblica, llamada lgica matemtica.
La lgica matemtica usa lenguajes formales definidos artificialmente para formular
enunciados acerca del mundo al que se refieran en un momento dado nuestros
razonamientos, es por ello que en la actualidad tambin se la conoce como la lgica
formal o matemtica.
Estimado estudiante, tenga presente que los temas tratados en esta unidad no se
encuentran desarrollados en el texto bsico por lo que es indispensable que se apoye
de los anexos indicados para completar algunas de las temticas citadas.
Considerando estas aclaraciones, iniciemos con nuestro estudio.
2.1
DefinicineimportanciadelaLgica
Este tema le resultar interesante, porque conocer de que trata la lgica y porque es
importante su estudio. Para empezar esta tarea necesitas revisar algunos
fundamentos tericos como por ejemplo: Qu es la Lgica?, De qu trata?...
1
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
La Semntica
Relacin entre el lenguaje y su
significado
2.2
LgicaProposicionalSintaxis
Hortal, M., Leach, J., Rodrguez, M. (2001). Matemtica discreta y Lgica matemtica, Madrid Espaa, Editorial,
Complutense.
2
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
introducirnos en este tema es necesario que conozca que una Proposicin es aquel
enunciado que afirma o niega algo y que puede ser verdadero (V) o falso (F). Por esta
razn, es que a la lgica de proposiciones tambin se la conoce como lgica binaria,
porque slo tiene dos categoras de clasificacin: las proposiciones verdaderas y las
proposiciones falsas. Observe los ejemplos:
Ejemplos:
El baln es cuadrado
(F)
(V)
(F)
(V)
Cmo ests?
Dios mo!
Ejemplos:
Ejemplos:
- X>50
- Juan es deportista
estudiante.
- y= x + 1
- X>50 X= 50
Mara es
V (1) , F (0)
p, q, r, ...
,^,v,,
( ), [ ], {}
[(p) v q] (p ^ r)
Ahora, le proponemos la siguiente frmula
p ^ q r q ^ r
para que la
ConectivasLgicas
Qu es una conectiva? Hagamos una breve revisin de su definicin. Las conectivas
las podemos entender como aquellas partculas de enlace del lenguaje natural que
permiten unir enunciados simples.
Listo, ya conocemos qu es una conectiva, ahora hay que tener en cuenta que stas
tienen un significado en el lenguaje de la lgica proposicional, y los enunciados un
valor de verdad. Para conocer sobre esto lo invitamos a continuar con el desarrollo de
los subtemas siguientes, no sin antes revisar las cinco conectivas principales utilizadas
para la construccin de nuevas proposiciones, las cuales se muestran en el cuadro
siguiente.
5
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Ejemplos:
-
2.3
Tablasdeverdad
Realizarlalecturadelanexo3,seccinTablasdeverdad,paraconocer
el valor de verdad de la negacin, conjuncin, disyuncin, condicional y
bicondicional.
Como usted se dar cuenta, utilizando las conectivas lgicas es posible construir
tablas de verdad de enunciados o proposiciones mucho ms grandes, es decir, una
6
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Ejemplo:
Si P y Q son proposiciones atmicas unidas con conectivas lgicas de la siguiente
manera:
p v q
Entonces los pasos para la construccin podran resumirse en los siguientes:
1. Como se est trabajando con dos variables, entonces se tendrn 22 = 4 filas en
la tabla de verdad, que son a la vez las combinaciones de los valores de
verdad de las variables.
2. Procedemos a dibujar la tabla separando hacia la izquierda las variables que
intervienen, como tienen que dar 4 filas, la primera proposicin tendr dos
valores de verdad con V y dos con F, y la proposicin q tendr intercalado
los valores de verdad de la siguiente manera:
P
V
V
F
F
Q
V
F
V
F
p
F
F
V
V
v q
V
F
V
V
Q
1
0
1
0
p
0
0
1
1
v q
1
0
1
1
O lo que es lo mismo:
P
1
1
0
0
7
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
2.4
Tautologas,contradiccionesycontingencias
Tautologa
Contradiccin
Contingencia
Tautologa
Se dice que una proposicin compuesta es una tautologa, cuando su tabla de verdad
es siempre verdadera, independientemente de la verdad o falsedad de las
8
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Ejemplo:
p v p
P
V
F
p
F
V
vp
V
V
Tautologa
Contradiccin
Conviene mencionar ahora que una proposicin compuesta es una contradiccin, si la
tabla de verdad es siempre falsa para todos los casos, es decir tiene slo F en su
ltima columna.
Revisemos esta definicin con el siguiente ejemplo:
Ejemplo:
(p q) (p v q)
pq
p v q
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V
(p v q)
F
V
F
F
(p q) (p
v q)
F
F
F
F
Contradiccin
9
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Contingencia
Finalmente, que pasa si una proposicin no es una tautologa ni una contradiccin, es
decir, que contiene al menos un valor V y otro F, pues en este caso estaramos frente
a una contingencia.
Veamos:
(p q) (p ^ q)
Ejemplo:
P
V
V
F
F
Q
V
F
V
F
p
F
F
V
V
pq
V
F
V
V
p ^ q
F
F
V
F
(p q) (p ^ q)
F
V
V
F
Contingencia
(P ^ Q)
(P Q) (Q P)
10
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Hasta aqu hemos aprendido y conocido los aspectos fundamentales del lenguaje de
proposiciones, ahora nos centraremos en conocer cmo deducir una proposicin a
partir de un conjunto de proposiciones dadas.
Sigamos entonces con nuestro estudio.
2.5
Inferencia
Sistemadededuccinnatural
Hemos llegado a otro interesante subtema de nuestra cuarta unidad, que le ser de
gran utilidad al momento de querer obtener una concusin de un argumento. En virtud
de esto, diremos que el sistema en mencin incorpora las estrategias de deduccin
como reglas de inferencia, de modo que facilite el proceso de deduccin. El mismo
que se resume como sigue:
Se inicia con un conjunto de frmulas llamadas premisas, luego se utilizan las reglas
de inferencia de manera que conduzca a otras frmulas denominadas conclusiones,
que luego pueden ser reutilizadas nuevamente como premisas. El paso de las
premisas a la conclusin es una deduccin.
Veamos un resumen de este proceso en el siguiente diagrama.
11
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Inicio
Conjunto de premisas
Aplicacin de reglas
de inferencia
Conclusin
Fin
Entonces, la conclusin que se obtiene se dice que es una consecuencia lgica de las
premisas, si cada paso que se da para llegar a la conclusin est permitido por una
regla.
Estas son algunas pautas de este importante tema, de ah la necesidad de adentrase
en este mbito.
Acudaalanexo3,yrealiceunalecturadelaseccinInferenciaLgica.
Podr conocer los esquemas de inferencia de cada una de las reglas
bsicas del sistema de deduccin natural y las derivaciones que se
puedendardelasmismas.
Ahora, revisemos una breve explicacin acerca de las reglas de inferencia, que le
ayudaran a comprender mejor lo ledo.
Reglasdeinferencia
Para abordar esta temtica trataremos de resumir las reglas de inferencia lgica ms
utilizadas, tomando como referencia los esquemas sealados por Barco y Aristizbal
(1998:51).
12
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
a. Modus Ponendo Ponens (afirmando - afirma).- Esta regla tiene como esquema:
[(p q) ^ p] q, que escrito en forma vertical adopta la forma:
pq
p____
q
Premisa 1;
Premisa 2;
Conclusin.
Sea abrevia: M. P
En este caso las premisas estn formadas de proposiciones atmicas, pero puede
darse el caso que estn formadas de proposiciones moleculares. Tambin se puede
dar que las premisas estn expresadas en lenguaje natural como se indica a
continuacin:
Si la noche est estrellada, el cielo est despejado. La noche est estrellada.
Aqu es importante que primero identifique las premisas, teniendo en cuenta que cada
oracin es una premisa y que siempre van estar separadas por un punto seguido o por
un punto aparte. Luego s puede obtener la conclusin.
13
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
PQ
(2)
P_____
PQ
(2)
P_____
Q
M.P (1,2)
Ejemplo:
Hacemos que: P1 y P2 sean simbolizaciones de premisas y C simbolice la conclusin.
Entonces tenemos:
P1: Si la asamblea aprueba la ley, entonces hay amnista.
P2: La asamblea aprueba la ley.
C: Hay amnista.
Simbolizando:
PQ
P_____
Q
14
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Premisa 1;
Premisa 2;
Conclusin.
Se abrevia M. T
En lenguaje natural:
Si Juan est en el partido de ftbol, entonces est en el estadio. Juan no est en el
estadio.
Premisa 1: Si Juan est en el partido de ftbol, entonces est en el estadio.
Premisa 2: Juan no est en el estadio.
Conclusin: Por lo tanto, Juan no est en el partido de ftbol.
Representado en forma simblica:
P: Juan est en el partido de ftbol.
Q: Juan est en el estadio.
(1)
(2)
PQ
Q __
P
M.T (1,2)
Ejemplo:
P1: Si eres un estudiante irresponsable, entonces no apruebas la materia.
P2: No es cierto que, no apruebas la materia.
C: No eres un estudiante irresponsable.
15
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Simbolizando:
PQ
Q___
P
pvq
q____
p
Premisa 1;
Premisa 2;
Conclusin.
pvq
p__
q
Premisa 1;
Premisa 2;
Conclusin.
Se abrevia M.T. P
Como ejemplo en el lenguaje natural podramos tener lo siguiente:
Estoy en el Colegio o estoy en casa. No estoy en casa.
16
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
O tambin:
Premisa 1: Estoy en el colegio o estoy en casa.
Premisa 2: No estoy en el colegio.
Conclusin: Por lo tanto, estoy en casa.
PvQ
Q __
P
M.T.P (1,2)
PvQ
P __
Q
M.T.P (1,2)
Ejemplo:
De la premisa
P v Q
Y la premisa
Q___
Se puede concluir:
17
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Parece que nos quedan por revisar slo los silogismos, veamos de qu tratan.
d. Silogismo hipottico.- Esta regla consiste en que si se conocen dos
proposiciones condicionales como premisas, tal que el consecuente de la una sea
igual al antecedente de la otra, entonces con ellas, se puede establecer una nueva
condicional con antecedente de la primera y el consecuente de la segunda. El
esquema lgico es:
pq
qr
pr
Premisa 1.
Premisa 2;
Conclusin.
hummparecido al
axioma transitivo!
P Q
Q R
P R
S.H (1,2)
Ejemplo:
Fcil verdad?, como puede observar hasta este momento las reglas presentadas
no son complicadas, slo hay que saber aplicarlas correctamente, revisemos ahora
la siguiente regla.
e. Silogismo Disyuntivo.- Esta regla consiste en que si se conoce una disyuncin
inclusiva entre dos proposiciones y dos condicionales que tienen como
antecedente cada una de las proposiciones de la disyuncin, entonces se concluye
la disyuncin entre los consecuentes de las condicionales. Su esquema lgico es:
pvq
pr
qs
rvs
Premisa 1.
Premisa 2
Premisa 3;
Conclusin.
19
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Su abreviatura: S. D.
En lenguaje natural:
Premisa 1: 22 = 4 v 15 no es cuadrado perfecto.
Premisa 2: Si 22 = 4, entonces la raz cuadrada de 4 es 2.
Premisa 3: Si 15 no es cuadrado perfecto, entonces 20 es el duplo de 10.
Conclusin: Por lo tanto, la raz cuadrada de 4 es 2 o 20 es el duplo de 10.
En el lenguaje formal:
P: 22 = 4
Q: 15 es cuadrado perfecto.
R: La raz cuadrada de 4 es 2.
S: 20 es el duplo de 10.
(1)
(2)
P v Q
P R
Q S__
RvS
S.D. (1,2,3)
Bien, Qu opina de esta regla?, ya no tenemos slo dos premisas cierto!, aqu ya
trabajamos con tres premisas, lo que implica que debemos tener un poco ms de
cuidado al momento de combinar las premisas. Slo es cuestin de tener clara la
estructura de cada una y listo no tendramos problema al aplicarlas.
Veamos el ejemplo.
20
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).
Ejemplo:
Dadas las premisas:
P1:
P2:
P3:
P v (Q ^ R)
P S
(Q ^ R) T
La conclusin es:
SvT
siguiente actividad.
Actividades recomendadas
GH
G F
H
Con lo estudiado hasta aqu hemos concluido con la primera unidad del segundo
bimestre, por lo que, a continuacin le solicitamos desarrolle la autoevaluacin, que le
permitir medir el nivel de conocimientos que usted adquiri.
21
Esta obra ha sido licenciada con Creative Commons Ecuador 3.0 de Reconocimiento - no comercialcompartir igual (http://creativecommons.org/licenses/by-nc-sa/3.0/ec/).