Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modulo de Logica 90004 0905201205 1 PDF
Modulo de Logica 90004 0905201205 1 PDF
LGICA MATEMTICA
Medelln, 2012
1
Lgica Matemtica
Gustavo Velsquez
Decano Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
MDULO
CURSO DE LGICA MATEMTICA
PRIMERA EDICIN (EN EDICIN)
Copyrigth
Universidad Nacional Abierta y a Distancia
PROHIBIDA LA REPRODUCCIN Y PUBLICACIN PARCIAL O TOTAL DE ESTA OBRA SIN
AUTORIZACIN DE LA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ISBN
2011
Centro Nacional de Medios para el Aprendizaje
Este material tiene como referencia principal el mdulo diseado por la Dra. Nubia Janeth
Galindo Patio en el ao de 1999 para la Universidad Nacional Abierta y a Distancia UNAD.
Santa Fe de Bogot. D.C. 1999
Portada: Aristteles segn un manuscrito de su Historia naturalis. Roma 1457 (Cod. vindob. phil. gr.).
2
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
OH dicha de entender,
mayor que la de imaginar o la
de sentir! Borges.
Este mdulo est concebido para ser un curso introductorio a la lgica Matemtica.
Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda
actividad, es importante que nos interroguemos por el origen y propsito de dicho
conocimiento, Qu problemas busc resolver el hombre mediante dicho conocimiento?
Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se
espera que el estudiante desarrolle? Por qu se consideran importantes estas
competencias? Por qu, siendo yo un estudiante de regencia de farmacia, o un estudiante
de ingeniera, o mejor an, un estudiante de psicologa, debo tomar el curso de Lgica
Matemtica?
Entre las competencias que debe tener un estudiante, se destaca su capacidad para
construir razonamientos deductivos e inductivos, tal que le permitan verificar hiptesis as
como generar nuevas, una competencia necesaria, no slo para la investigacin cientfica,
sino necesaria para actividades como proponer argumentos vlidos en un ensayo o para
debatir ideas.
Ya Platn en la Repblica nos propone que antes del estudio de una ciencia social
como lo es la filosofa era necesaria la preparacin de la mente por medio del estudio de la
geometra euclidiana, en la cual el discpulo deba entrenarse haciendo demostraciones de
teoremas de la geometra, demostraciones que slo se logran siguiendo una secuencia lgica
de pasos ordenados.
3
Lgica Matemtica
4
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Agradecimientos a los tutores del curso, y estudiantes Carlos Arturo Serrano, Euclides Daz Arcos por sus
comentarios.
1
Tutor de Ciencias Bsicas de la Universidad Nacional Abierta y a Distancia UNAD desde 1995. Ingeniero Electrnico de la Universidad de Antioquia.
Maestro en educacin del Tecnolgico de Monterrey. www.georffrey.com georffrey.acevedo@unad.edu.co georffrey@gmail.com
5
Lgica Matemtica
Captulo 2 Tautologa
6
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
7
Lgica Matemtica
CONTENIDO
Introduccin 3
Contenido por lecciones6
Contenido 8
Indice de tablas 10
Indice de figuras 11
Indice de ilustraciones.. 13
Smbolos usados .. 14
Objetivo General.... 15
Conducta de entrada.....16
Actividad de reconocimiento.... 18
Informacin de retorno ....... 25
Ejercicios propuestos 1 ....... 59
8
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
9
Lgica Matemtica
Referencias ....214
10
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
INDICE DE TABLAS
11
Lgica Matemtica
INDICE DE FIGURAS
12
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
INDICE DE ILUSTRACIONES
Imagen No. 1 . Scrates. Detalle de La escuela de Atenas - fresco de Raffaello Sanzio (1511) ............. 67
Imagen No. 2. Pitgoras (582 a.c).. Detalle. La escuela de Atenas - fresco de Raffaello Sanzio (1511)68
Imagen No. 3 Euclides. Padre de la Geometra. Detalle. La escuela de Atenas - fresco de Raffaello
Sanzio (1511) ............................................................................................................................................ 68
13
Lgica Matemtica
Smbolos usados
Conjuntos:
Conjunto universal
Conjunto vaco
Unin
Interseccin
Diferencia
Diferencia simtrica
Contenido en
No est contenido en
Pertenece a
No pertenece a
Conectivos lgicos:
Conjuncin
Disyuncin
,~ Negacin
Implicacin
Equivalencia
Indicadores de relacin:
Conjuntos numricos:
14
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Objetivo General
Proporcionar al estudiante herramientas que le
permitan reconocer, elaborar y determinar la validez
de razonamientos lgicos tanto deductivos como
inductivos.
Objetivos especficos
Desarrollar las competencias para expresar
razonamientos lgicos en lenguaje simblico.
15
Lgica Matemtica
Para lograr este objetivo se ha diseado una actividad didctica, que dispone el ambiente
para que por medio de algunas herramientas y tcnicas, puedas objetivar esas experiencias
previas alcanzadas en tu mundo vital.
Pero, ante todo, debemos contar con tu disposicin para el aprendizaje. Para contribuir con el
factor de la motivacin, se ha dispuesto el primer OVA u objeto virtual de aprendizaje, el cual
es un audio en mp3 con algunos elementos que te motivar para el desarrollo de las
competencias del curso:
Audio1.MP3
16
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El curso de lgica matemtica es un curso de dos crditos acadmicos, por lo tanto un curso
de dos unidades.
Esto significa que para matricular el curso de lgica matemtica debers disponer de 72 horas
de estudio independiente. Para un perodo acadmico es de 16 semanas, y si consideramos
100 das en el proceso, considerando las pausas activas, esto se traducir en un promedio de
una (1) hora diaria.
En ninguna otra metodologa como en la educacin a distancia, debemos planear tan juiciosa
gestin del tiempo. La invitacin es para desarrollar un cronograma de organizacin de las
actividades acadmicas de acuerdo a los temas de cada curso y al tiempo disponible.
17
Lgica Matemtica
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
18
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
19
Lgica Matemtica
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
20
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________
U U
A B
B A
a. b.
U U
A B C
B A
c. d.
21
Lgica Matemtica
U U
A B
B A
a. b.
U U
A B C
B A
c. d.
U U
A B
B A
a. b.
U U
A B C
B A
c. d.
22
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
18. Propn una expresin de la cual puedas decir que es verdadera. Cmo
expresaras la negacin de la misma proposicin?
6.
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
19. Te has encontrado con un argumento que parece lgico, pero que cuando
lo analizamos detenidamente encontramos que no era tal? A continuacin
se propone plantearlo:
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
_________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
_________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
23
Lgica Matemtica
Generalmente, los conjuntos se identifican con letras maysculas y sus elementos con
minsculas.
Informacin
24
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
x A xA
U U
x
A A
x
Figura No. 1
Por extensin
Un conjunto est determinado por extensin cuando se describe el conjunto
nombrando cada uno de sus elementos. Por ejemplo:
A = {2, 4, 6, 8}
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
de
Por comprensin
Un conjunto est determinado por comprensin cuando se nombra una propiedad, una
regla o una caracterstica comn a los elementos del conjunto. Por ejemplo:
25
Lgica Matemtica
Lenguaje:
E = E: gual al conjunto de
x R: todos los nmeros reales
/: tales que (o que verifican que)
0 x < 9: Se lee: cero (0) es menor o igual a x, y, x a su vez es menor que 9,
tambin se puede leer: x mayor o igual a cero y menor que nueve. Esta
notacin se usa con mucha frecuencia para describir intervalos, para
escribir la solucin de una inecuacin o para representar el dominio de
una funcin real.
10. Cmo definiras un conjunto finito, infinito, vaco, unitario, universal y de partes?
Conjuntos infinitos
Existen conjuntos como por ejemplo:
A = {x R / 0 x < 9} Z = {x N / x es par}
retorno
Los cuales se leen: A = todos los nmeros reales mayores que cero y menores que
nueve.
Z = todos los nmeros naturales que sean pares.
Este tipo de conjuntos no se pueden expresar por extensin debido a que nunca se
terminara de escribir la lista de los nmeros reales que pertenecen al conjunto A, o, los
naturales que pertenecen a Z, este tipo de conjuntos, reciben el nombre de INFINITOS;
de
Conjuntos finitos
Informacin
Son ejemplos de conjuntos que estn formados por cierto nmero de elementos
distintos, estos conjuntos reciben el nombre de conjuntos FINITOS.
Todos los conjuntos que se nombran por comprensin, se pueden escribir por
extensin?
26
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Conjunto Vaco
A
{ } A=
Figura No. 2.
retorno
A
de
Ejemplo 1:
D = {x N / xx)
27
Lgica Matemtica
Conjunto Unitario
U
A
A = Conjunto Unitario
7 A = {7}
Figura No. 3
Ejemplo 2:
E = {x / x es nmero primo par}
El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el
nmero 2, por lo tanto E = {2} se llama conjunto unitario.
Conjunto Universal
retorno
Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a,
e, i, o, u}, es decir, A V, este conjunto V constituye el universo del conjunto A, por
esta razn se dice que V es un conjunto Universal.
de
U U = Conjunto Universal
A o
A = {a,e,i}
Informacin
a i
e
U = V = {a,e,i,o,u}
u
Figura No. 4
28
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Subconjuntos
A B si todo x A, entonces x B
U
B
retorno
A AB
x xA
xB
Figura No. 5
de
Ejemplo 3:
Informacin
A = {2, 4, 6, 8} y B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Entonces A es un subconjunto de B.
29
Lgica Matemtica
S A B y B C, entonces, AC
U
C
A B
B B C
A ______
x
AC
xA
xB
xC
Figura No. 6
retorno
por lo tanto si xA, entonces xC y esto se cumple para todo elemento x que est en
A, debido a que el conjunto A esta contenido en el conjunto B y B a su vez, est
contenido en C; por consiguiente queda demostrado que A C.
Informacin
30
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
12. Cun son iguales dos conjuntos? Cundo son completamente diferentes?
A = B Si A B y B A
U
B A AB
2 BA
1 4 ______
3
5 B=A
Figura No. 7.
retorno
Ejemplo 4
Si M = {1, 3, 0, 2} y N = {2, 3, 0, 1}, claramente se observa que M N y que N M,
por lo tanto M = N.
Ejemplo 5
Si A = {x / x es dgito} y B = {x / x es dgito par}, se puede observar que B A pero
de
U A 9 B
1 BA
5 2 4 AB
3 8
7 6 ______
AB
Figura No. 8
31
Lgica Matemtica
Es importante destacar que cuando dos conjuntos son completamente diferentes (no
tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.
U
A B
1 AB y
7 5 B A y no hay elementos
9 comunes
2
Figura No. 9.
Ejemplo 6
Los conjuntos A = {x / x es dgito par} y B = {x / x es dgito impar} no tienen ningn
elemento en comn, es decir A y B son disyuntos.
retorno
As como las operaciones suma, resta, multiplicacin y divisin estn definidas sobre
los nmeros reales, tambin existen operaciones definidas entre los conjuntos como la
unin, interseccin, complemento, diferencia, diferencia simtrica y producto
cartesiano; stas se estudiarn en las siguientes secciones.
de
Unin
Informacin
32
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
3 2 6 7
1 4 9 5
AUB
U = {1,2,3,4,5,6,7,8,9}
Figura No. 10. A = {1,2,3,4}
B = {5,6,7}
AUB = {1,2,3,4,5,6,7}
retorno
U
A
de
B U = {1,2,3,4,5,6,7,8,9}
2 8
A = {1,2,3,4,5,6}
3 6 7 B = {5,6,7}
Informacin
4 5
1 AUB = {1,2,3,4,5,6,7}
9
Figura No. 11
33
Lgica Matemtica
U
A B U = {1,2,3,4,5,6,7,8,9}
8
A = {1,2,3,4,5,6,7}
32 6 7 B = {5,6,7}
1 4 5 A U B = {1,2,3,4,5,6,7}
9
Figura No. 12
Ejemplo 7
Si A U B = {x N / x es dgito par o dgito primo}, grficamente la representacin
de esta unin es:
U
A B U = {1,2,3,4,5,6,7,8,9}
86 A = {1,2,3,5,7,9}
retorno
3 7 B = {2,4,6,8}
1 5 2 4
AUB = {1,2,3,4,5,6,7,8,9}
Figura No. 13
de
La figura No.13 permite apreciar que el nico dgito que es a la vez par y primo es el
nmero 2; esto nos invita a la formulacin de la siguiente operacin entre conjuntos:
Informacin
Interseccin
A B = {x / x A, , x B}
34
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U
8 B
A U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 6 7 B = {5,6,7}
1 4 5 A B={}
9
U
B U = {1,2,3,4,5,6,7,8,9}
Informacin
A
8
A = {1,2,3,4,5,6}
3 2 6 7 B = {5,6,7}
1 4 5 A B = {5,6}
9
Figura No. 15
35
Lgica Matemtica
Figura No. 16
36
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 8
Hallar las intersecciones entre los tres conjuntos:
M = {x N / x es mltiplo de 2}
N = {x N / x es mltiplo de 3}
P = {x N / x es impar}
37
Lgica Matemtica
Diferencia
Segn los tres casos estudiados, se puede afirmar que al comparar dos
conjuntos no vacos, puede suceder que:
A B = { x / x A, , x B}
Esto se lee: A menos B, es el conjunto formado por los elementos que estn en el
conjunto A pero no en el B.
retorno
A 8 B U = {1,2,3,4,5,6,7,8,9}
Informacin
A = {1,2,3,4}
3 2 7 B = {5,6,7}
6
1 4 A- B = A = {1,2,3,4}
9 5 B- A = B = {5,6,7}
38
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U
A B U = {1,2,3,4,5,6,7,8,9}
2 8 A = {1,2,3,4,5,6}
3 6 7 B = {5,6,7}
1 4 5 A-B = {1,2,3,4}
9
Figura No. 19
A B U = {1,2,3,4,5,6,7,8,9}
8 A = {1,2,3,4,5,6,7}
32 6 7 B = {5,6,7}
14
5 9 A- B = {1,2,3,4}
B-A={}
de
Figura No. 20
Informacin
En la figura 20, se puede observar que todos los elementos que estn en B,
estn en A (debido a que B A), por lo tanto no existe ningn elemento que
pertenezca a la diferencia
B A y en consecuencia B A = . Surge ahora, la siguiente inquietud:
39
Lgica Matemtica
Ejemplo 8
Para efectuar estas operaciones se escriben los conjuntos por extensin, as:
U
A U = {0,1,2,3,4,5,6,7,8,9}
5B A = {0,1,2,3,4,5,6,7,8,9}
B = {0,2,3,7}
6 3 7
9 8
1 2 0 A- B = {1,4,5,6,8,9}
4 B-A = { }
retorno
Figura No. 21
de
Informacin
40
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Diferencia simtrica
A B = { x / x A, , x B, x ( A B )}
En las siguientes grficas, la parte sombreada representa la diferencia
simtrica entre los conjuntos A y B.
A 8 B U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 B = {5,6,7}
6 7
retorno
1 4 A B = {1,2,3,4,5,6,7}
9 5
B A = {1,2,3,4,5,6,7}
Figura No. 22.
de
U
A B U = {1,2,3,4,5,6,7,8,9}
8 A = {1,2,3,4,5,6}
2 B = {5,6,7}
3 6 7
1 4 5 A B = {1,2,3,4,7}
9
B A = {1,2,3,4,7}
Figura No. 23 41
Lgica Matemtica
U
A U = {1,2,3,4,5,6,7,8,9}
B 8 A = {1,2,3,4,5,6,7}
2 6 7 B = {5,6,7}
1 4 5 9 A B = {1,2,4}
3 B A = {1,2,4}
Figura No. 24
Ejemplo 9
Si A = {x / x es una letra de la palabra INGENIERIA} y B = {x / x es una letra
de la palabra SISTEMAS}, entonces A B = {N, G, R, M, S, T}.
Ejemplo 10.
10.
Dados los conjuntos M = {1, 2, 3, 4} y N = {4, 5}, la diferencia simtrica entre M
y N es:
42
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Complemento
A = Ac = A* = ~A = A = A = {x / x A}
En la siguientes grficas, la parte sombreada representa el complemento del
conjunto A.
A 8 B
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
3 2 6 7 B = {5,6,7}
A = {5,6,7,8,9}
retorno
14
9 5
Figura No. 27.
U
Informacin
A B 8 U = {1,2,3,4,5,6,7,8,9}
2 A = {1,2,3,4,5,6}
3 6 7 B = {5,6,7}
1 4 5 A = {7,8,9}
9
Figura No. 28
43
Lgica Matemtica
U = {1,2,3,4,5,6,7,8,9}
U A = {1,2,3,4,5,6,7}
AA B B = {5,6,7}
8
32 6 A = {8,9}
1 7
4 5 9
Ejemplo 11
44
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
A (B U C) = (A B) U (A C)
Las siguientes propiedades estn relacionadas con los conjuntos Universal
U y vaco :
e. Leyes de identidad:
de
A U U = U A U =A
A U = A A =
Propiedades con respecto al complemento
Informacin
45
Lgica Matemtica
a) Leyes de idempotencia:
A U A = A
A A = A
U U U
A A A
A
U =
A A A
A A A
Figura No. 33 A unido con A es igual a A
retorno
U U U
A A A
A
=
A A A
A A A
de
46
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
b) Leyes de identidad:
A U U = U A U =A
A U = A A =
U
U U
A
U U = U
U =
47
Lgica Matemtica
U U U
A
A
U U U
A
retorno
48
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
A U A' = U A A' =
(A' )' = A ' = U
U U U
A A
U =
Figura No. 38 Al unir el conjunto A con los elementos que no estn en A se obtiene el
universo
retorno
U U U
A A
de
=
Informacin
Figura No. 39 Los elementos de A con los que no estn en A no tienen nada en
comn
49
Lgica Matemtica
d) Leyes de D Morgan:
U U
A B A B
3
26 7 3
2
6 7
14 5 9
1 4 5
9
8 8
retorno
A U B (A U B)
Figura No. 40
Iniciamos por representar los elementos que no estn en A y los elementos que no
estn en B, la solucin corresponder a la interseccin entre los dos conjuntos, es decir
a los elementos que ambos conjuntos tienen en comn:
Informacin
U U U
A B A B A B
2 2 2
3 6 7 3 6 7 3 6 7
1 4 5 14 5 14 5
8 9 8 9 8 9
A B A' B'
Figura No. 41
50
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Principio de dualidad
Si se intercambian las operaciones unin (U) por interseccin (), como tambin
el conjunto universal (U) por el conjunto vaco (), en cualquier razonamiento
sobre conjuntos, el enunciado resultante se llama DUAL del primero.
Ejemplo 12
Demostrar que el dual de;
retorno
(U U B) (A U ) = A es:
( B) U (A U) = A
(U U B) (A U )
de
U A = A
( B) U (A U)
U A = A
51
Lgica Matemtica
Ejemplo 13
Demostrar que el dual de
(A B) U (A B') = A es
(A U B) (A U B') = A
U U U
A B A B A 8
B
326 7
2 2
3 6 7 3 6 7
1 4 5 1 4 5
14 5
8 9 9
8 9
A B A B'
retorno
U U U
A B A B A B
2 2 2
3 6 7 3 6 7 3 6 7
4 5 4 5 4 5
1 1 1
de
8 9 8 9 8 9
(A B) U ( A B' ) = A
Informacin
52
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U U U
A 8 A 8 A 8
B B B
2 2 2
3 6 7 3 6 7 3 6 7
1 4 5 1 4 5 1 4 5
9 9 9
A B A U B
U U U
8 A 8 A 8
A B B B
2 2 2
3 6 7 3 6 7 3 6 7
1 4 5 1 4 5 1 4 5
9 9 9
retorno
(A U B) A U B = A
53
Lgica Matemtica
U U
A B A B
U U
A B C
B A
retorno
de
Informacin
54
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U U
A B A B
U U
A B C
B A
retorno
U U
A B A B
de
Informacin
U U
A B C
B A
55
Lgica Matemtica
U M N
U=
M=
N=
M N=
M P=
P MNP=
Figura No. 17
Ejercicio propuesto 2:
Representa el ejemplo anterior mediante diagramas de Venn
U
A B U =
A =
B =
A B=
AB =
AUB=
Figura No. 25
56
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejercicio propuesto 3:
Representa el ejemplo anterior mediante diagramas de Venn
U
A B U =
A =
B =
AB=
AB =
AUB=
Figura No. 26
Ejercicio propuesto 4:
Realiza la demostracin grfica del teorema de D Morgan para: (A B)' = A' U B' para
ello subraya el rea correspondiente.
U U U
A B A B A B
2 2 2
3 6 7 3 6 7 3 6 7
1 4 5 1 4 5 1 4 5
8 9 8 9 8 9
Segunda parte de la igualdad A' U B': representa en cada conjunto A, B y la unin entre
ambos conjuntos:
57
Lgica Matemtica
U U U
A B A B A B
2 2 2
3 6 7 3 6 7 3 6 7
1 4 5 1 4 5 1 4 5
8 9 8 9 8 9
Observa que las leyes que hemos recordado estn formuladas por pares, lo cual verifica la
naturaleza dual de la teora de conjuntos.
Ejercicio propuesto 5:
A continuacin se plantean diez ejercicios de aplicacin de las leyes de conjuntos, te
proponemos hacer el ejercicio de simplificarlos:
1) ( (A B)' ) 6) (A U ) '
2) (A ) ( ( (B)' ) ) 7) (A A)' U (A' U A' )
3) (A' U A' ) U B' 8) (A U A ) '
4) (A )' 9) (A A ) ' U A'
5) (A )' 10) ( (A ) U U )' A'
58
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Introduccin
En esta unidad, partiremos de la contextualizacin histrica de la lgica hacia la definicin de la
unidad fundamental de la lgica la proposicin. Aprenderemos a identificar y clasificar las
proposiciones, y estableceremos criterios e instrumentos de comparacin entre los diferentes tipos
de proposiciones.
Justificacin
Esta unidad es significativamente importante en la formacin de cualquier profesional, desde la
ptica de la necesidad de la apropiacin de una fundamentacin conceptual bsica para fortalecer la
destreza en la identificacin de las proposiciones como elemento fundamental de la lgica y la
comprensin de la relacin biunvoca entre el lenguaje simblico y el lenguaje natural. Estas
herramientas nos permitirn desarrollar las competencias para el desarrollo de la segunda unidad,
en donde, haciendo uso de lo aprendido nos introduciremos en el anlisis de validez de los
razonamientos lgicos.
59
Lgica Matemtica
Intencionalidades formativas
Propsitos
Objetivos
Metas
60
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Competencias
Captulos de la unidad:
Captulo 1: Introduccin a la lgica
Captulo 2: Tautologas
Captulo 3: Cuantificadores y crculos de Euler
61
Lgica Matemtica
Objetivo general
El propsito de este captulo es brindar al estudiante algunos
elementos del desarrollo histrico de la lgica matemtica y su correspondiente
clasificacin. As como de brindar las herramientas para identificar y construir
proposiciones lgicas.
Objetivos especficos
CAPTULO 1
62
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..11 IInnttrroodduucccciinn aa llaa llggiiccaa
Concete a ti mismo ("gnosei seauton") es la frase que apareca en el santuario del Dios
Olmpico Apolo y que se atribuye a Tales de Mileto (639 a.c), quien es considerado como el
primer representante de la filosofa occidental: tanto as como para reconocrsele como el
iniciador de la indagacin racional sobre el universo, a Tales de Mileto se atribuye plantear
explicaciones de la naturaleza sin hacer referencia a lo sobrenatural.
Es as, como los precursores de la filosofa, llamados los presocrticos, representaron una
innovacin en el pensamiento, al tratar de explicar las cosas por si mismas.
En el perodo Socrtico, los filsofos pasarn de preocuparse por los temas de la naturaleza a
ocuparse en el hombre. En este perodo aparecen los sofistas, quienes profundizan en el arte
de discutir, a ellos debemos lo que en la lgica se denomina un sofisma, argumentos que
parecen vlidos pero que realmente no lo son.
Originalmente logos significa palabra o discurso, por lo que en un principio se defini la lgica
como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica
clsica, planteando que la dependencia lgica entre proposiciones es demostrada reduciendo
argumentos complejos en simples, para lo cual propuso representar el conocimiento en una
forma que pudiera ser usado por un razonamiento mecnico y a ste esquema (lgica
simblica) lo llam una caracterstica universal.2
2
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
63
Lgica Matemtica
El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls George Boole
en compaa de Augustus de Morgan hizo notar el parentesco entre las operaciones lgicas
con las matemticas, pues a partir de los operadores aritmticos de adicin, multiplicacin y
sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin;
adems formularon los principios del razonamiento simblico y el anlisis lgico. A Boole se
le atribuye la invencin de las tablas de verdad para comprobar la veracidad de proposiciones
compuestas. 3
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra
Principio Matemtico, quienes codificaron la lgica simblica en su presente forma
definindola como la Ciencia de todas las operaciones conceptuales posibles, por esta
razn la fundacin de la lgica formal moderna se le atribuye a ellos. 4
En el pensamiento simblico, las palabras se manipulan, segn las reglas establecidas, como
si fueran simples signos sin preocuparse por su sentido.
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
3,4,5
1999
64
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin
primordial eliminar las ambigedades que la estructura del lenguaje ordinario no
puede evitar con facilidad.
6
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
65
Lgica Matemtica
En los sistemas formales los enunciados del lenguaje consisten en una lista de
smbolos, (lgicos o matemticos) sujetos a diversas interpretaciones. En un
lenguaje formal, las palabras y las oraciones estn perfectamente definidas, una
palabra mantiene el mismo significado prescindiendo del contexto o de su uso.
Los lenguajes formales son, por esto, necesariamente exentos de cualquier
componente semntico fuera de sus operadores y relaciones, y es gracias a esta
ausencia de significado especial, que los lenguajes formales pueden ser usados
para modelar una teora de la ingeniera de sistemas, mecnica, elctrica, entre
otras. 7
7
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
66
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Lenguaje Natural
8
Galindo Patio N. J. (1999).. Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
67
Lgica Matemtica
Lenguaje Artificial
h2
h2 = a2 + b2 a2
b2
Figura No. 1 Teorema de Pitgoras.
Imagen No. 2. Pitgoras (582 a.c)..
Detalle. La escuela de Atenas - fresco
de Raffaello Sanzio (1511)
(1511
G K
A
F
B C
D L E
Imagen No. 3
Euclides. Padre de la Geometra.
Detalle. La escuela de Atenas - fresco
de Raffaello Sanzio (1511)
68
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La funcin del signo consiste en comunicar ideas por medio de mensajes, estos
signos pueden ser naturales: el humo significa fuego, nubes indicio de lluvia; o
artificiales (smbolos): bandera, escudo; o analgicos (icnicos): fotografas,
esquemas, etc.
Exclusin:
A B
69
Lgica Matemtica
Inclusin
B
C
Interseccin
A B
El emisor debe codificar el mensaje de tal forma que cuando el receptor reciba el
mensaje y lo decodifique pueda reconstruir su sentido a partir de los signos y de
las relaciones existentes entre ellos. 9
9
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
70
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
71
Lgica Matemtica
Lenguaje artificial: Es aquel que utiliza signos para obtener una comunicacin ms
precisa y clara.
72
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Amigo estudiante, recuerda que la motivacin es una de las tres condiciones para lograr un
aprendizaje significativo:
73
Lgica Matemtica
LLeecccciinn N
Noo..22 P
Prrooppoossiicciioonneess
1.7 Proposiciones
La proposicin lgica constituye el elemento fundamental de la lgica.
Una proposicin lgica es un enunciado lingstico que debe cumplir con la condicin de ser
susceptible de poder ser verdadero o falso.
Por ejemplo:
La temperatura ambiente es mayor de 20 grados es un enunciado que puede ser
Verdadero o Falso.
La proposicin puede ser verdadera o falsa en un momento dado, decimos entonces que, el
valor de verdad de una proposicin lgica es, por definicin, verdadero o falso, y es
representado por las letras V o F.
De all que se suela afirmar que la verdad lgica es una verdad formal, que no tiene
contenido.
Recordemos que la oracin enunciativa se corresponde con los actos de habla declarativos,
los cuales comunican sin ms, un hecho: Juan es Colombiano. Estas expresiones contienen
un sujeto perfectamente definido o dado por el contexto, un predicado y una conjugacin del
verbo ser, observemos algunos ejemplos:
74
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplos:
Hoy es sbado
Soy estudiante de psicologa
New York es llamada la capital del mundo
De esta manera, podemos afirmar que la lgica se ocupa de las proposiciones. Ms adelante,
estudiaremos reglas que permiten la transformacin de unas expresiones en otras
equivalentes, y veremos cmo, de acuerdo a estas reglas o leyes lgicas, a partir del valor de
verdad de una o varias proposiciones logramos inferir la verdad o falsedad de otras
proposiciones.
Ejemplos:
p : Hoy es sbado
q : Estudio filosofa
r : Colombia es el pas con el mayor nmero de especies de aves del
mundo
x : 4 + 3 = 10
75
Lgica Matemtica
Ejemplos:
Las rosas son rojas y tienen espinas.
Al igual que a las proposiciones, tambin les asignamos un lenguaje simblico as:
y
o
no
Si . entonces
Si y slo si
76
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Partiendo del ejemplo anterior, podemos hallar la notacin simblica de las expresiones
planteadas:
Ejemplos:
Expresin: Las rosas son rojas y tienen espinas.
Proposiciones:
p : Las rosas son rojas
q : Las rosas tienen espinas
Notacin simblica:
pq
____________________________________________________________
Expresin: La seleccin Colombia gan o perdi
Proposiciones:
r: La seleccin Colombia gan
s: La seleccin Colombia perdi
Notacin simblica:
rs
____________________________________________________________
Expresin: En el pas no hay violencia.
Proposiciones:
t : En el pas hay violencia.
Notacin simblica:
t
____________________________________________________________
77
Lgica Matemtica
Proposiciones:
x : Estudio lgica matemtica
y : Puedo determinar la validez de un razonamiento lgico
Notacin simblica:
x y
____________________________________________________________
Notacin simblica:
uv
78
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no
puede tomar los dos valores al mismo tiempo, pues dejara de ser proposicin. Recordemos
que una proposicin debe tener sentido completo, es decir debe ser posible asignarle un valor
de verdad (es falsa o verdadera).
Ejemplos: 1+4=5
3 es nmero par
Bogot est a 1500 metros
79
Lgica Matemtica
En otras palabras, las proposiciones compuestas son aquellas que se obtienen combinando
dos o ms proposiciones simples mediante trminos de enlace.
Sean: s : Llueve
r : Hace fro
80
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada
una de las proposiciones simples que la conforman y de la manera como estn conectadas;
para tal fin, en las prximas lecciones estudiaremos ms detenidamente la forma de enlazar o
unir proposiciones simples de tal manera que se puedan fijar criterios para establecer cundo
una proposicin compuesta es verdadera o falsa.
Veamos algunos ejemplos de oraciones que no son proposiciones porque no se les puede
asignar un valor de verdad (falso o verdadero).
2. x+5=8
Aqu, x es una variable independiente, por lo tanto puede tomar
cualquier valor y por consiguiente no se puede afirmar nada.
81
Lgica Matemtica
LLeecccciinn N
Noo..33 C
Coonneeccttiivvooss llggiiccooss ffuunnddaam
meennttaalleess
1.8.1 Conjuncin:
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por
p q, se denomina la conjuncin de p y q.
r : 6 es un nmero par.
: y
s : 6 es un entero positivo.
Para determinar el valor de verdad de una proposicin compuesta formada por dos
proposiciones simples unidas por una conjuncin utilizaremos la representacin grfica
mediante el uso de los diagramas de VENN. Los diagramas de VENN, a travs de reas
sombreadas muestran claramente el conjunto de verdad de la operacin que se est
realizando, veamos:
82
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U
P Q
x
Figura No. 2 Conjuncin
Como se dijo en la seccin anterior, el valor de verdad de una proposicin compuesta no slo
depende del conectivo lgico, sino del valor de verdad de cada una de sus proposiciones
simples. Por lo tanto, surgen las siguientes posibilidades:
83
Lgica Matemtica
r s es Verdadera (V)
_________________________________________________________
r s es Falsa (F)
_________________________________________________________
r s es Falsa (F)
_________________________________________________________
r s es Falsa (F).
84
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
6 es un nmero par
6 es un entero positivo
r = 6 es un nmero par =V
s = 6 es un entero positivo =V
r s es Verdadera (V)
_______________________________________________________
r = 6 es un nmero par =V
s = 6 no es un entero positivo =F
r s es Verdadera (V)
_______________________________________________________
r = 6 no es un nmero par =F
s = 6 es un entero positivo =V
r s es Verdadera (V)
_______________________________________________________
r = 6 no es un nmero par =F
s = 6 no es un entero positivo =F
r s es Verdadera (V)
85
Lgica Matemtica
Podemos resumir estos resultados utilizando la siguiente tabla, llamada tabla de verdad de la
conjuncin:
p q pq
V V V
V F F
F V F
F F F
1.8.2 La disyuncin v
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama
disyuncin de p y q.
86
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
x : Quieres helado.
v: o
y: Quieres gaseosa.
Los ejemplos anteriores muestran los usos del operador o. En el ejemplo 2 tenemos el
llamado o incluyente el cual hace que el valor de verdad de una de las dos proposiciones
simples repercuta en el valor verdadero de la proposicin disyuntiva; mientras que el
conectivo lgico o de los ejemplos 2 y 3 acta como un o excluyente, donde el valor de
verdad de una proposicin excluye la veracidad de la otra proposicin, esto hace que la
proposicin disyuntiva siempre tome el valor verdadero.
Para establecer el valor de verdad de una proposicin disyuntiva, consideremos las siguientes
funciones proposicionales:
87
Lgica Matemtica
U
P Q
r: Verdadera 2 es par
s: Verdadera 5 es impar
r: Verdadera 2 es par
s: Falsa 5 es no es impar
88
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
r: Falsa 2 no es par
s: Verdadera 5 es impar
r: Falsa 2 no es par
s: Falsa 5 no es impar
p q pq
V V V
V F V
F V V
F F F
89
Lgica Matemtica
1.8.3 La negacin ~
p ~p
V F
F V
90
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U
~P
P
Figura No. 4 Negacin
91
Lgica Matemtica
LLeecccciinn N
Noo..44 C
Coonneeccttiivvooss llggiiccooss C
Coonnddiicciioonnaall yy B
Biiccoonnddiicciioonnaall
1.8.4 El condicional
Se dice que una proposicin compuesta es condicional, si est formada por dos proposiciones
simples enlazadas por la expresin sientonces.
Si p entonces q
p slo si q
q si p
p es suficiente para q
q es necesaria para p
Los siguientes ejemplos ilustran los anteriores enunciados:
92
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Sea p: es un da soleado
q: hace calor
De los casos planteados concluimos que la tabla de verdad para la implicacin toma los
siguientes valores:
p q pq
V V V
V F F
F V V
F F V
93
Lgica Matemtica
1.8.5 El bicondicional
El bicondicional est formado por las implicaciones p q y q p , las cuales deben tener
el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia, se dice
que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir p q .
p s y slo si q
q s y slo si p
si p entonces q y recprocamente
si q entonces q y recprocamente
p es una condicin necesaria y suficiente para q
q es una condicin necesaria y suficiente para p
p: Un tringulo es rectngulo
q: Un tringulo tiene un ngulo recto
94
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que tenga
un ngulo recto.
Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es
que sea un tringulo rectngulo.
Caso 2: Es un da soleado pero no hace calor. En este caso se cumple slo una
de las dos proposiciones simples, lo que de acuerdo con la expresin Si
y slo si es un da soleado entonces hace calor no debera darse. Por lo
tanto tal proposicin compuesta ( p q ) es falsa.
Caso 3: No es un da soleado pero hace calor. En este caso se cumple slo una
de las dos proposiciones simples, lo que de acuerdo con la expresin Si
y slo si es un da soleado entonces hace calor no debera darse. Por lo
tanto tal proposicin compuesta ( p q ) es falsa.
95
Lgica Matemtica
De los casos planteados concluimos que la tabla de verdad para la dobleimplicacin toma los
siguientes valores:
p q pq
V V V
V F F
F V F
F F V
96
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Proposicin: Expresiones con sentido completo cuyo valor es verdadero o falso, pero no
ambos a la vez. Expresin lingstica con la propiedad de ser verdadera o falsa.
Conectivos lgicos: Son trminos que sirven para unir o enlazar proposiciones simples. Los
conectivos lgicos fundamentales son:
Clases de proposiciones
97
Lgica Matemtica
LLeecccciinn N
Noo..55 TTaabbllaass ddee vveerrddaadd
En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin
( ~ ), la disyuncin ( v ) y la conjuncin (
) se consideran conectivos fundamentales;
por tal razn, sus valores de verdad constituyen la base para establecer bajo qu condiciones
una proposicin compuesta es verdadera o falsa.
Como lo aprendimos en las lecciones anteriores, la siguiente tabla resume los valores de
verdad de los conectivos lgicos:
p q p q p q pq p q p q
V V F F V V V V
V F F V F V F F
F V V F F V V F
F F V V F F V V
98
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1:
p, q
Es decir que en el caso de tener dos (2) proposiciones simples, slo hay cuatro
(4) casos posibles:
p q
V F
V V
F V
F F
99
Lgica Matemtica
Una vez ms, las proposiciones simples son dos (2): p , q luego el nmero de
casos posibles es tambin de cuatro (4): FF, VF, VV, y FV.
p, q, r
V VVV
V F VVF
V
F
V VFV
F VFF
V FVV
V F FVF
F
F
V FFV
F FFF
100
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Esta conclusin nos permite encontrar una frmula para calcular el nmero de
combinaciones posibles de acuerdo al nmero de variables lgicas o letras
proposicionales involucradas en la frmula proposicional:
n
2
NOTA: Ms adelante, en el curso de probabilidad aprenders que este es un
caso de combinacin denominado permutaciones con repeticin.
De esta manera, una funcin lgica con 4 letras proposicionales tendr 16 casos
posibles, una funcin lgica con 5 letras proposicionales tendr 32 casos
posibles, una funcin lgica con 6 letras proposicionales tendr 64, una funcin
lgica con 7 letras proposicionales tendr 128, una funcin lgica con 8 letras
proposicionales tendr 256, una funcin lgica con 9 letras proposicionales
tendr 512.
Una convencin es iniciar por el caso en que todas las proposiciones simples
sean verdaderas, terminando con el caso en el que todas las proposiciones
simples son falsas:
101
Lgica Matemtica
Veamos:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
p q r r
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
102
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Paso 3: Se hace un recorrido desde adentro hacia afuera de acuerdo a los signos de
agrupacin:
.
Los signos de agrupacin que encontraremos en una frmula proposicional
sigue el orden:
{ ( { (....) } ) }..
Paso 4: Se identifica el conectivo que aparece dentro del parntesis, en el ejemplo
propuesto ( p q ) este conectivo es la conjuncin.
,
p q pq ( p q )
V V
V F
F V
F F
p q pq ( p q )
V V V F
V F F V
F V F V
F F F V
Ejemplo 2:
p q pq pq ( p q) ( p q)
V V V V V
V F V F F
F V V F F
F F F F F
Ejemplo 3:
Elaborar la tabla de verdad de la proposicin: q p
Al realizar la frmula proposicional encontramos que la tabla de verdad tendr cuatro (4)
casos posibles, siguiendo los pasos para la construccin de tablas de verdad se obtiene
p q q p
V V V
V F V
F V F
F F V
104
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 4:
p q r pq ( p q) r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V
105
Lgica Matemtica
2 Captulo: Tautologa
Objetivo general
El propsito de este captulo es brindar al estudiante elementos para
la clasificacin de una proposicin como tautolgica.
Objetivos especficos
Identificar tautologas
106
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..6
56
5 TTTTaaaab
ub
uuultlta
to
tooo
a slsllolo
oo
dd
gggg
ee
aaav
avseserrddaadd
2.1 Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser siempre
verdaderas independientemente del valor de verdad de las proposiciones que la conforman;
este tipo de proposiciones reciben el nombre de tautologas.
En otras palabras, se dice que una tautologa es una funcin lgica que es verdadera para
todas las combinaciones posibles de los valores de verdad de sus premisas.
Ejemplo 1:
( )
Demostrar que la proposicin p q p es una tautologa, para demostrarlo,
debemos construir la tabla de verdad y verificar que efectivamente la funcin lgica es
verdadera para todos los casos:
p q pq ( p q) p
V V V V
V F F V
F V F V
F F F V
( )
Queda demostrado que p q p es una proposicin que sin importar el valor de
sus premisas p y q, es siempre verdadera.
107
Lgica Matemtica
Ejemplo 2:
p q pq p ( p q ) p ( p q ) p q
V V V F F V
V F V F F V
F V V V V V
F F F V F V
108
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..77 P
Prrooppoossiicciioonneess eeqquuiivvaalleenntteess
Ejemplo 1:
Demostrar que las proposiciones p q y la proposicin p q son lgicamente
equivalentes:
109
Lgica Matemtica
p q pq p q ( p q ) ( p q )
V V V V V
V F F F V
F V V V V
F F V V V
110
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..88 TTaauuttoollooggaa ttrriivviiaall yy ddoobbllee nneeggaacciinn
p p p
V V
F V
p p ( p ) p ( p )
V F V V
F V F V
111
Lgica Matemtica
Ejemplo 1:
Consideremos la proposicin simple:
p : es de da,
luego:
p : es de noche
( p ) : no es de noche
________________________________________________________________________________________________________________
Por lo tanto ( p ) = p
________________________________________
Ejemplo 2:
Consideremos la proposicin simple:
p : el acusado es inocente
luego:
p : es culpable
( p ) : el acusado no es culpable
__________________________
Por lo tanto ( p ) = p
112
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..99 IIm
mpplliiccaacciinn ddiirreeccttaa,, ccoonnttrraarriiaa,, rreeccpprrooccaa yy ccoonnttrraarreeccpprrooccaa
Implicacin directa: pq
Implicacin contraria: p ( q )
Implicacin recproca: q p
Implicacin contrarrecproca: q ( p )
Ejemplo 3:
Ejemplo 4:
Teniendo en cuenta la proposicin directa: p q construir las otras formas de la
implicacin:
Implicacin directa: p q
Implicacin contraria: p ( q )
Implicacin recproca: q p
Implicacin contrarrecproca: q p
113
Lgica Matemtica
114
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..1100 LLeeyyeess ddee llaa llggiiccaa
115
Lgica Matemtica
Objetivo general
El propsito de este captulo es brindar al estudiante elementos para usar los
cuantificadores universal y existencial en la construccin y representacin de
proposiciones categricas, elementos fundamentales en la construccin de silogismos
categricos.
CAPTULO 3
Objetivos especficos
Identificar y clasificar las proposiciones categricas de un argumento
116
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..1111 C
Cuuaannttiiffiiccaaddoorreess
3.1 Cuantificadores
Ejemplo x+1=2
Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama
Proposiciones abiertas.
Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor de
verdad, ya sea falso o verdadero, ahora en esta seccin, se estudia la lgica de proposiciones
abiertas, para ello, se asigna una expresin llamada cuantificador, que permite restringir los
valores de las variables, de tal forma que la proposicin toma un solo valor de verdad para
dicha restriccin.
1. (x = 1) / ( x + 1 = 2) Verdadera
2. (x 1) / ( x + 1 = 2) Falsa
117
Lgica Matemtica
Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama
cuantificador universal y se simboliza por
Ejemplo
(x = 1) / ( x + 4 = 4 + x )Significa que todo x verifica la ecuacin
________________________________________________________________
La palabra algunos(s) significa que por lo menos uno verifica la condicin. Los cuantificadores
de la forma existe por lo menos uno, y se llaman cuantificadores existenciales y se
representan as: .
Ejemplo
(x = 1) / (2 x + 2 = 5)
________________________________________________________________
Ejemplo 1
En esta proposicin el conjunto universal esta formado por los nmeros reales y el dominio de
la variable es x = .
118
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
El ejemplo afirma que todo nmero real verifica 2x 1 = 0, lo cual es falso, pero si se cambia
el conjunto universal, por el conjunto { 1/2 }, la proposicin se convierte en verdadera y se
enuncia as:
(x { 1 2}) / ( 2 x 1 = 0) es verdadera.
Ejemplo 2
( x ) / (x 2
1 = 0)
En este caso el cuantificador existencial afirma que por lo menos existe un valor que
satisface la proposicin, as, el ejemplo 2 es verdadero.
Ejemplo 3
( x ) / (x 2
1 = 0)
El conjunto universal est formado por los nmeros reales, pero el dominio de la variable es el
conjunto vaco, pues, no hay un nmero real que al elevarlo al cuadrado y sumarle 1 de cmo
resultado cero, esto hace que la proposicin sea falsa.
119
Lgica Matemtica
LLeecccciinn N
Noo..1122 P
Prrooppoossiicciioonneess ccaatteeggrriiccaass
Para Leibniz, la teora del silogismo categrico es uno de los ms hermosos descubrimientos
del espritu humano, hoy, el silogismo se ha sistematizado en el estudio de la lgica
matemtica.
Es por esta razn que es importante apropiar el concepto de silogismo Aristotlico que ha
dado origen a la evolucin de la lgica matemtica y analizar su estructura.
Una proposicin categrica hace referencia a enunciados dobles, y son la base para que
tenga lugar la formacin de los Silogismos Categricos, los cuales sern estudiaremos en
la segunda unidad.
120
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Cada proposicin categrica de forma estndar tiene una cualidad y una cantidad.
Para desarrollar este concepto definamos una clase como una coleccin de objetos que
tienen una o varias caractersticas en comn, coincidiendo con nuestra idea intuitiva de
conjunto, de all que para representar sus relaciones de continencia total o parcial como de
disyuncin usemos los diagramas de Venn.
As, una proposicin categrica puede afirmar o negar que una clase est incluida en otra.
121
Lgica Matemtica
Por lo tanto, se puede afirmar que hay cuatro formas estndar de proposiciones categricas:
122
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..1133 R
Reepprreesseennttaacciinn ddee llaass pprrooppoossiicciioonneess ccaatteeggrriiccaass
Cuando se afirma que la clase S si tiene elementos, equivale a negar que S es vaca, por lo
tanto su representacin simblica es S 0.
Clase S
Clase S vaca
123
Lgica Matemtica
, y, para graficar la proposicin que existen S, que se interpreta en el sentido de que hay por
lo menos un miembro de la clase S, se coloca una x en cualquier parte en el interior del
crculo que representa a S, lo cual indica que s hay algo dentro de l, que no est vaco:
S x
Los dos diagramas anteriores representan grficamente las proposiciones No hay S y Hay
S.
Se puede observar que el crculo que representa la clase S tambin representar la clase de
su complemento, S, es decir, si en el interior del crculo se representa a todos los miembros
de S, entonces, su exterior representar todos los miembros que no estn en S, por lo tanto
estn en S.
Para representar una proposicin categrica en forma estndar se necesitan dos crculos
intersecados. Si S y P representan los sujetos y predicados de la proposicin, entonces su
representacin es:
S P
clases S y P
La figura representa las dos clases S y P, pero no diagrama alguna proposicin de ellas, no
afirma ni niega que una de las dos o las dos clases tengan miembros. La parte del crculo S
que esta fuera de P representa todos los S que no son P, lo cual se identificar como el
124
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
producto de las clases S y P (S P); la parte comn de los dos crculos representa la
interseccin o producto de las dos clases SP; la parte del crculo P que esta fuera de S
representa a todos los P que no estn en S (por lo tanto estn en S ), es decir, el producto
SP, y la parte externa a los dos crculos representa todas las proposiciones que no estn en
S ni en P, lo cual corresponde a la cuarta clase S
P.
S P
P
S SP SP
S
P
Clases S y P
Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se
inserta x en varias partes de la grfica, a continuacin se presenta cada uno de los casos:
S P
SP = 0
Todo S es P
125
Lgica Matemtica
U
S
P
Ningn S es P, o,
Ningn P es S
SP = 0 y PS = 0,
Algn S es P, simbolizada por SP 0, su representacin grfica es:
U
S P
Algn S es P o
Algn P es S
SP 0 ; PS 0 ;
126
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
U
S
P
Algn S no es P
P 0
S
U
S
P
Algn P no es S
S 0
P
127
Lgica Matemtica
1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones,
representa clases pero no representa ninguna proposicin.
2. Un espacio en blanco a la izquierda no significa nada (ni que una clase tiene o no
tiene miembros).
3. Las proposiciones slo las representan aquellos diagramas en los que una parte ha
sido sombreada o en la que se ha insertado una x.
128
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..1144 C
Cllaassiiffiiccaacciinn ddee llaass pprrooppoossiicciioonneess ccaatteeggrriiccaass
y dice que la primera clase est contenida en la segunda, lo cual significa que cada miembro
de la primera clase es tambin miembro de la segunda.
Personas
P (personas
temerarias)
S Conductores de
automviles Inseguros
Todo S es P
129
Lgica Matemtica
En este ejemplo, el trmino sujeto conductores, designa a la clase de todos los conductores
y el trmino predicado temerarias, designa a la clase de todas las personas temerarias.
Este tipo de proposicin categrica se llama universal afirmativa, porque la proposicin afirma
que la relacin de inclusin entre las dos clases es completa, todos los elementos o miembros
de S tambin lo son de P.
Esta es una proposicin universal negativa. Niega (en forma universal) que los conductores
responsables son un peligro para la vida de los dems.
La primera clase excluye a la segunda, la excluye totalmente, es decir, que no hay ningn
miembro de la primera clase (conductor responsable) que tambin pertenezca a la segunda
(que represente un peligro para la vida de los dems). Todas las proposiciones universales
negativas se pueden escribir as:
Ningn S es P
Personas
S P
teme
Conductores de automvil Persona temeraria que pone
Responsable en peligro la vida de los
dems
Ningn S es P
130
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Este ejemplo afirma que algunos de los miembros de la clase de todos los estudiantes de
secundaria son (ingresan) miembros de la clase de estudiantes de universidad. Pero no
afirma esto universalmente: no dice que todos los estudiantes de secundaria (sin excepcin)
ingresan a la universidad, sino ms bien algunos en particular. Esta proposicin no afirma ni
niega que todos los estudiantes ingresan a la universidad, se refiere slo a algunos.
Clases:
1. Estudiantes de secundaria y
2. Estudiantes que ingresan a la educacin superior
Estudiantes
P
S
Estudiantes de secundaria
x
Estudiante que ingresa a
la educacin superior
Algn S es P, Algn S es P
Lo cual significa que por lo menos un miembro de la clase designada con el trmino sujeto S
tambin es miembro de la clase designada por el trmino predicado P. El nombre afirmativa
particular hace referencia a que la proposicin afirmativa se cumple en la relacin de
inclusin entre clases, pero no lo afirma de la primera clase universalmente, slo
parcialmente, de algunos miembros particulares de la primera clase.
131
Lgica Matemtica
Clases:
1. Nmeros reales y
2. Nmeros negativos
Nmeros
P
S
Nmeros Reales
x Nmeros Negativos
Algn S no es P
Algn S no es P. dice que por lo menos un miembro que pertenece a la clase designada por
el trmino sujeto, S, es excluido de la totalidad de la clase designada por el trmino predicado,
P.
132
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..1155 P
Prrooppoossiicciioonneess ccoonnttrraarriiaass,, ddee ccoonnttiinnggeenncciiaa yy ssuubbccoonnttrraarriiaass
Las proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y
trmino predicado, pueden diferir unas de otras en cualidad o en cantidad o en ambas
Existen ciertas relaciones importantes correlacionadas con los diversos tipos de oposicin
(diferencia en cualidad, cantidad o en ambas) stas pueden ser de CONTRADICCIN,
CONTINGENCIA, o, SUBCONTRARIAS
Ejemplo 1
Las proposiciones
133
Lgica Matemtica
Ejemplo 2
Las siguientes proposiciones tambin son contradictorias.
Otra forma de identificar las proposiciones contrarias, es cuando la verdad de una proposicin
implica la falsedad de la otra.
Ejemplo 3
P: -3 es mayor que -1
Q: -1 es mayor que -3.
Ejemplo 4
Dadas las proposiciones
P: hoy es lunes
Q: hoy no es lunes.
134
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas,
aunque ambas puedan ser falsas.
Ejemplo 5
Considerando las proposiciones
En forma general se puede decir que dos proposiciones universales que tienen los mismos
sujetos y predicados pero difieren en cualidad son contrarias.
Ejemplo 6
Dadas las proposiciones:
Se puede afirmar que las proposiciones P y Q son contradictorias porque una es la negacin
de la otra (en este caso P es falsa mientras que Q es verdadera). Y las proposiciones P y R
son contrarias ya que ambas no pueden se verdaderas pero si son ambas falsas.
135
Lgica Matemtica
Se dice que dos proposiciones son subcontrarias si no pueden ser ambas falsas pero s
ambas verdaderas
Ejemplo 1
Las proposiciones
Ejemplo 2
P: algunos ingenieros de sistemas son matemticos
Q: algunos ingenieros de sistemas no son matemticos
Las proposiciones P y Q pueden ser las dos verdaderas, pero no pueden ser las
dos falsas, por lo tanto se dice que son subcontrarias.
136
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 1
P: todos los matemticos son filsofos
Ejemplo 2
Q: todos los cuadrados son rectngulos
137
Lgica Matemtica
Recordemos:
138
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
ALGUNOS = PARTICULAR
TODOS = UNIVERSAL
Por ejemplo, necesariamente, al afirmar que algunos enteros son negativos, estamos
afirmando que el resto son enteros positivos. Esto imposibilita que ambas proposiciones sean
falsas.
139
Lgica Matemtica
Ejercicios propuestos
Unidad 1
Ejercicio Propuesto 1: A continuacin te invitamos a plantear la pertinencia del curso de
lgica matemtica para tu programa de estudio:
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
__________________________________________________________________________________
140
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
141
Lgica Matemtica
p `^ q = F
p^q=F
CASO 3:
CASO 4:
142
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Premisas r=
elegidas
s=
CASO 1:
CASO 2:
CASO 3:
CASO 4:
Mi conclusin:
143
Lgica Matemtica
144
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Proposicines
condicionales
elegidas
Manera 1
Manera 2
Manera 3
Manera 4
Manera 5
145
Lgica Matemtica
Proposicin 1: _______________________________________________________________
Proposicin 2: _______________________________________________________________
Proposicin bicondicional: ___________________________________________________
________________________________________________________________________
Mi conclusin:
p q pq q p ( q p) ( p q) pq
V V
V F
F V
F F
146
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejercicio Propuesto 9: Determinar los posibles valores de verdad para las proposiciones:
1) p q , 2) p q , 3) p q 4) p p
5) ( p q ) , 6) ( p q ) ( p q ) , 7) ( p q ) ( r s )
1)
2)
p q
p q
3)
4)
p q
p p
5)
p q
6)
p q
147
Lgica Matemtica
7)
p q r s
p q r pq qr pr ( p q) ( q r ) ( p q ) ( q r ) ( p r )
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
148
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
149
Lgica Matemtica
Ejercicio Propuesto 15: Demuestra que todas estas leyes del lgebra corresponden a
tautologas. Propn expresiones del lenguaje natural para cada ley.
150
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejercicios de transferencia
Todo conocimiento, habilidad, destreza o competencia puede permitir la transferencia de
situaciones conocidas a desconocidas. Es decir, a continuacin desarrollaremos actividades
que agregan valores de recontextualizacin y productividad a los conocimientos aprendidos y
a las competencias desarrolladas en la fase de profundizacin. Salazar (2008).
Se trata de actividades que plantean la utilidad social del conocimiento mediante su aplicacin
en el contexto:
Ejemplo:
Proposicin compuesta: Lograr aprender si estudio y practico
151
Lgica Matemtica
Proposiciones:
II. En este ejercicio haremos uso de los diagramas de VEEN para deducir la representacin
para las siguientes proposiciones compuestas identificar las proposiciones simples, los
conectivos lgicos y expresar la proposicin compuesta en lenguaje simblico:
Ejemplo:
U = {Colombianos}
P = {personas que juegan futbol}
Q = {personas que son de Santamarta}
Representar mediante diagramas de VENN el conjunto de personas que Juegan futbol y son
Colombianas:
U
P Q
152
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Una recomendacin para el estudiante es partir de proponer elementos para cada conjunto,
de tal manera que podamos representar los conjuntos propuestos por extensin:
U
P Juan Q
Ana Camilo
Diego Pedro
Santiago
Ejemplo:
Personas que Juegan ftbol y son Colombianas: { Juan, Diego, Ana, Pedro}
153
Lgica Matemtica
Para acceder al aplicativo debes hacer acceder al enlace al generador pero antes, acepta la
invitacin para estudiar el video correspondiente.
SIMULADOR: http://turner.faculty.swa
Enlace al: Generador de tablas de verdad para la Unidad 1:u.edu/mathematics/mate
rialslibrary/truth/
Cmo usarlo? Sigue las siguientes instrucciones en video:
http://www.youtube.co
Video: Ejemplo de uso del generador de tablas de verdad
m/watch?v=Eu5zOy-
PLCo&feature=player_
embedded
154
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Introduccin
En esta unidad tendr lugar la aplicacin de los conceptos estudiados en la primera unidad al
reconocimiento y validacin de las diferentes leyes de inferencia as como de las formas de
razonamiento inductivo.
Justificacin
Esta unidad del curso de Lgica Matemtica es significativamente importante para fortalecer la
destreza en la formulacin de argumentos e hiptesis que den validez lgica a nuevas concepciones
o actualizaciones cognitivas.
En las formas de comunicacin cotidiana utilizamos expresiones del lenguaje natural que en el fondo
responden a estructuras de inferencia lgica, o por induccin o por deduccin y que en la medida
que se comprenda este proceso de pensamiento complejo se mejoran los procesos de interaccin
comunicativa y de resignificacin cognitiva.
155
Lgica Matemtica
Intencionalidades formativas
Propsitos
Objetivos
Metas
Competencias
Captulos de la unidad
156
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Objetivos especficos
Comprender el papen que juegan los razonamientos deductivos
CAPTULO 4
157
Lgica Matemtica
LLeecccciinn N
Noo..1166 R
Raazzoonnaam
miieennttoo llggiiccoo
4.1 Razonar
Razonar es un proceso por el cual se establece una conclusin basada en una o ms
proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto de
partida del proceso.
Todos los seres humanos tenemos la capacidad del raciocinio; una operacin del
pensamiento, la ms elevada, en la cual se enlazan ideas y fluyen otras, permitiendo as la
comunicacin con el exterior.
Se ha dicho que la lgica es la ciencia que estudia la estructura o forma del pensamiento, por
lo cual no es difcil comprender que hay varias formas de pensamientos, ms an, existen
varias formas de razonar. 10
10
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
158
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo:
Diego aplic CHILE disuelto en agua y previno la presencia de gusanos. Juan aplic
CHILE disuelto en agua y previno la presencia de hormigas, Carlos aplic CHILE
disuelto en agua y previno la presencia de picudo de arroz, Camilo aplic CHILE
disuelto en agua y previno la presencia de mariposas de repollo. Luego, es posible
concluir que es probable que EL CHILE acte como un buen plaguicida natural.
Ejemplo:
Los abonos proporcionan nutrientes a las plantas. El estircol es un abono orgnico,
por lo tanto, el estircol proporciona elementos nutrientes a las plantas.
A continuacin estudiaremos el papel que juegan estas formas del razonamiento lgico en la
investigacin cientfica:
159
Lgica Matemtica
LLeecccciinn N
Noo..1177 E
Ell m
mttooddoo cciieennttffiiccoo
Karl Popper, en la lgica del conocimiento cientfico, discuti con los positivistas sobre el
carcter de la observacin y el modelo inductivo de la ciencia. En efecto, aquellos pensaban
que la ciencia comienza con la observacin y de all se hace una induccin para obtener una
ley general. Popper, en cambio, seala que la ciencia comienza con una hiptesis que debe
intentar falsarse (de ah que su teora se llame el falsacionismo), es decir, refutarse.
En la ciencia no se trata tanto de verificar como de que las teoras resistan los intentos de ser
refutadas. Y para ello las teoras cientficas deben ser escritas en encunciados universales,
que pueden refutarse mediante contraejemplo, y no de enunciados existenciales.
160
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Hagamos una ilustracin; de la observacin de los cuervos, alguien puede afirmar que existen
cuervos negros. Pero ese enunciado no es falsable. En Cambio si alguien dice Todos los
cuervos son negros y alguien encuentra un cuervo de otro color, el enunciado result
falsable. Por eso hay que escribir la ciencia en enunciados universales, que sean susceptibles
de ser refutados.
Mientras una teora resista los intentos de ser refutada, se dice que es el paradigma cientfico
vigente. Todos los problemas de su campo de conocimiento se resuelven segn establecen
las leyes de la teora, pero cuando esta es refutada, aparece un paradigma nuevo, que toma
el papel del anterior, y as sucesivamente. Eso sucedi con la Fsica Tolomica, que fue
refutada por la Fsica Galileana, que fue mejorada por la Newtoniana, que a su vez, fue
rebatida, en sus fundamentos, por la fsica de la relatividad de Einstein.
Una explicacin cientfica tiene la forma: un hecho se explica dentro de una ley cientfica que
es una ecuacin matemtica. As, el movimiento de un planeta se explica por la ecuacin que
describe su movimiento. Ella explica ese movimiento. Pero la explicacin tambin sirve para la
prediccin porque la ecuacin que sirve para describir tambin sirve para calcular en que
lugar se encontrar ese planeta en un momento T cualquiera.
Para Popper su mtodo sirve para superar el dilema entre explicar, en ciencias naturales, y
comprender, en ciencias sociales. Porque explicar es comprender. Pero a diferencia de las
ciencias naturales, las ciencias sociales no son susceptibles de matematizacin: nadie puede
calcular los movimientos sociales ni las acciones de las personas, porque stas son
voluntarias, distintas, en consecuencia, a los movimientos fsicos.
La comprensin, que como se dijo, refiere a sistemas simblicos, como las culturas y las
sociedades, es lo propio de las ciencias sociales. Aqu no hay una explicacin distinta a la
comprensin de un sistema simblico y estas comprensiones se hacen en horizontes de
comprensin que dependen del cientfico y su poca. Por eso las ciencias sociales no son
neutrales, ni existe la objetividad del investigador social, porque el lee los hechos sociales
desde su formacin, desde su propia personalidad y desde lo que sabe su poca. Este es el
punto distintivo central entre las ciencias naturales y las ciencias sociales. Por eso no hay una
sola sociologa, sino distintas escuelas sociolgicas, ni una antropologa, sino escuelas
distintas, ni una pedagoga sino mltiples escuelas de pensamiento sobre la enseanza. 11
11
Gadamer, Hans Georg. Verdad y Mtodo. Editorial Sgueme, salamanca, 1972
Monsalve, Alfonso. La Teora de la Argumentacin. Editorial Universidad de Antioquia, 1982
Popper, Karl. La Lgica de la Investigacin Cientfica. Tecnos, Madrid, 1962
La Miseria del Historicismo. Tecnos, Madrid, 1975.
161
Lgica Matemtica
Esta unidad constituye la puerta de entrada a este nuevo mundo de la evaluacin de los
razonamientos lgicos mediante el anlisis de los diferentes tipos de proposiciones que
pueden darse, es decir, las proposiciones que ya aprendimos a reconocer en la primera
unidad, las que, a su vez, tambin pueden ser clasificadas, ya no como compuestas o
simples, pero si mediante clasificaciones importantes que nos ayudan en la construccin de
enunciados cientficos y en el seguimiento a la validez de los diferentes razonamientos
lgicos.
Por ejemplo, a continuacin encontrars dos proposiciones lgicas, ambas proposiciones que
aprendimos a reconocer y clasificar:
En la segunda unidad iniciamos por estudiar los temas de deduccin e induccin. Ambas
formas de los razonamientos lgicos.
162
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Observa que en el primer caso se parte de una ley o afirmacin general para posteriormente
concluir sobre los casos particulares, en este caso hablamos de un razonamiento deductivo,
mientras que en la segunda forma de razonamiento partimos de casos particulares para llegar
a concluir una ley general. En este caso decimos que el razonamiento es inductivo.
Aprendimos que un razonamiento parte de una ley para establecer conclusiones para un caso
particular. Decimos entonces que un razonamiento deductivo va de lo general a lo particular.
De all que usemos una palabra que se deriva del verbo deducir (del latn deducre), sacar
conclusiones de una proposicin o supuesto.
Lo contrario ocurre con el razonamiento inductivo, del cual aprendimos que va de lo particular
a lo general.
De lo expuesto hasta ahora, podemos concluir que el razonamiento deductivo toma una
proposicin general y deduce conclusiones particulares.
En este sentido, decimos que el mtodo deductivo de razonar considera que la conclusin se
deriva de otras proposiciones. Estas proposiciones de las cuales se deriva un razonamiento
son conocidas como premisas, es decir, que la conclusin est implcita en las premisas, o lo
que es lo mismo: la conclusin se sigue necesariamente de las premisas.
Una forma de representar esta relacin entre las premisas y su conclusin es la siguiente:
premisa 1
premisa 2
___________
Conclusin
163
Lgica Matemtica
Esto es equivalente a afirmar que si las premisas son verdaderas, la conclusin ha de ser
verdadera.
As, cuando de un razonamiento lgico se trata, una premisa es cada una de las
proposiciones anteriores a la conclusin de un argumento, en este sentido, lo que hace a una
premisa es su lugar en el argumento.
Por ser proposiciones, las premisas siempre afirman o niegan algo y por lo tanto, pueden ser
verdaderas o falsas; pero al valorar la validez de un razonamiento una premisa se plantea
como una afirmacin o idea que se da como cierta y que sirve de base a un razonamiento.
164
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..1188 S
Siillooggiissm
mooss ccaatteeggrriiccooss
Para Leibniz, la teora del silogismo categrico es uno de los ms hermosos descubrimientos
del espritu humano, hoy, el silogismo se ha sistematizado en el estudio de la lgica
matemtica.
Es por esta razn que es importante apropiar el concepto de silogismo Aristotlico que ha
dado origen a la evolucin de la lgica matemtica y analizar aqu su estructura.
Universal afirmativa
Universal negativa
Particular afirmativa
Particular negativa
165
Lgica Matemtica
Todo S es P
Ningn S es P
Algunos S son P
Algunos S no son P
Todo silogismo est formado entonces por tres partes: una premisa mayor, una premisa
menor y unaconclusin; a su vez, estas proposiciones involucran tres conceptos distintos,
debiendo tener un trmino medio comn a los otrosdos conceptos:
Entre ambas premisas se realiza la comparacin entre los trminos S y P con respecto al
trmino Medio, que se representa como M.
De all que se afirme que la lgica trata de establecer las leyes que garantizan que, de la
verdad de dos premisas comparadas, se pueda obtener con garanta de verdad una
conclusin verdadera.
Modos posibles:
Teniendo en cuanta que cada trmino del silogismo puede tomar una de cuatro
estructuras(Todo S es P, Ningn S es P, Algunos S son P y Algunos S no son P), la cual
tomar parte en la construccin de las premisas y de la conclusin de un silogismo; resultan
166
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
los modos son las distintas combinaciones que se pueden hacer con los juicios que entran a
formar parte de las premisas y la conclusin.
Dando lugar a variaciones de 4 en grupos de 3, en las que importa el orden, es decir de 4^3
para un total de 64 modos posibles.
Esta cantidad de modos se ve reducida al plantear las leyes para su correcta definicin como:
el trmino medio no puede estar en la conclusin, de dos premisas afirmativas no puede
sacarse una conclusin negativa, de dos premisas negativas no puede obtenerse conclusin
alguna, de dos premisas particulares no se saca conclusin, entre otras leyes que reducen
el grupo de 64 modos a 19 modos correctos del silogismo. Estos modos normalmente se
memorizaban con estrategias nemotcnicas como canciones.
No obstante, sin importar la cantidad de casos observados, siempre puede darse una
excepcin, esto hace que la verdad de las premisas no conviertan en verdadera la conclusin.
De all que de la conclusin de un razonamiento inductivo, slo podamos decir que es
probable.
Por ejemplo:
167
Lgica Matemtica
3. La premisa mayor es aquella que contiene el trmino mayor y este es el que aparece
como predicado de la conclusin.
5. Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.
Ejemplo 1:
Dadas las premisas:
Ningn hroe es cobarde
Algunos soldados son cobardes
Y la conclusin: por lo tanto, algunos soldados no son hroes
168
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 2
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin,
establezca la naturaleza del silogismo y verifique s est en forma estndar.
Como el argumento deductivo est formado por tres proposiciones categricas que
contienen exactamente los tres trminos: submarino nuclear, navo comercial y barcos
de guerra, se puede afirmar que se trata de un silogismo categrico.
169
Lgica Matemtica
Ejemplo 3
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin,
establecer la naturaleza del silogismo y verificar si est en forma estndar.
El argumento deductivo est formado por tres proposiciones categricas que contienen
los trminos: satlites artificiales, descubrimientos cientficos, inventos
norteamericanos, por lo tanto se puede afirmar que se trata de un silogismo categrico.
La conclusin es:
Algunos descubrimientos cientficos importantes no son inventos norteamericanos.
170
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Las premisas
Primera premisa: Solo esta premisa contiene el trmino mayor
Segunda premisa: Solo esta premisa contiene el trmino menor
Existe un trmino medio que aparece en las dos premisas
171
Lgica Matemtica
LLeecccciinn N
Noo..1199 V
Vaalliiddeezz ddee uunn aarrgguum
meennttoo
Argumento deductivo
Un argumento en el cual las premisas involucradas proporcionan bases concluyentes para la
verdad de la conclusin, se llama argumento deductivo.
Argumento Vlido
Un argumento que sigue una regla bien establecida se dice que es vlido; los argumentos se
juzgan como aceptables o inaceptables en la medida en que sean vlidos.
En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de tipo
general, pero en la prctica son cada vez ms difciles de manejar a medida que aumenta el
nmero de enunciados o proposiciones que conforman dicho argumento. Un mtodo ms
eficiente para probar la validez de un argumento extenso consiste en deducir su conclusin a
partir de sus premisas, mediante una serie de argumentos elementales, cada uno de los
cuales se conoce y acepta como vlido, este proceso es el que se denomina mtodo
deductivo.
172
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2200 P
Prruueebbaa ffoorrm
maall ddee vvaalliiddeezz
A continuacin se describe un mtodo que est muy relacionado con el de las tablas de
verdad, pero que es mucho ms breve, en el cual se prueba la invalidez de un argumento
hallando un nico caso en el que se asignan valores de verdad a las variables del enunciado
de tal forma que las premisas sean verdaderas y la conclusin falsa, lo que lleva a concluir
que la forma argumental es invlida.
Ejemplo 1
Probar la invalidez del siguiente argumento por el mtodo de asignar valores de
verdad:
1. qr
2. pr
3. q p
173
Lgica Matemtica
p q r qr pr q p
V V V V V V
V V F F F V
V F V V V V
V F F V F V
F V V V V F
F V F F V F
F F V V V V
F F F V V V
Claramente se observa que efectivamente hay una caso para el cual las
premisas son verdaderas y la conclusin es falsa:
174
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Para probar que este argumento es invlido sin tener que construir una tabla de
verdad completa, es necesario tener claro que un condicional es falso solamente
si su antecedente es verdadero y su consecuente falso, utilizando este hecho se
procede asignar valores de verdad a las proposiciones de la conclusin, es decir,
si q es verdadero y p es falso, entonces, la conclusin es falsa.
CONCLUSIN
PREMISAS VERDADERAS
FALSA
q r p f r pr f p
verdadero verdadero falso verdadero verdadero falso
175
Lgica Matemtica
Argumento Invlido
Ejemplo 2.
Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el
curso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern apreciados
y si sus esfuerzos son apreciados, aprobar el curso. Si Sandra es inteligente,
entonces estudia mucho. Luego, Sandra aprobar el curso.
p: Sandra es inteligente
q: Sandra estudia mucho
r: Sandra sacar buenas calificaciones
s: Sandra aprobar el curso
t: Los esfuerzos de Sandra sern apreciados
1. ( p q) (r s)
2. ( q p ) t ( t s )
3. pq
4. s
Este argumento es invlido porque con cualquiera de las siguientes asignaciones de valores
de verdad la conclusin P es falsa.
p q r t s p q r t s
________________________ _______________________
F F V F F F F F F F
176
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 3
Si la inflacin continua, entonces las tasas de inters permanecern altas.
Si la inflacin contina, entonces si las tasas de inters permanecen altas,
descender la actividad comercial. Si las tasas de inters permanecen
altas, entonces si la actividad comercial decrece, el desempleo aumenta.
As, si el desempleo aumenta, continuar la inflacin.
p: la inflacin contina
q: las tasas de inters permanecen altas
r: descender la actividad comercial
s: el desempleo aumenta
p q r s pq p (q r ) q (r s) s p
F F F V V V V F
Inconsistencia
En algunos casos no se puede dar ninguna asignacin de valores de verdad a los enunciados
de un argumento que hagan verdaderas sus premisas y falsa su conclusin, entonces, en
este caso el argumento debe ser vlido.
177
Lgica Matemtica
Objetivos especficos
Comprender, identificar y construir leyes de inferencia.
178
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2211 IInnffeerreenncciiaass LLggiiccaass
Las inferencias lgicas: son las conclusiones que se pueden obtener despus de realizar un
razonamiento, este razonamiento solamente es verdadero si se cumplen las siguientes
condiciones:
179
Lgica Matemtica
LLeecccciinn N
Noo..2222 IInnffeerreenncciiaass LLggiiccaass
Reglas de inferencia:
A medida que vallas estudiando las reglas de inferencias encontrars que stas son usadas
continuamente en el lenguaje natural. Las usamos para obtener conclusiones que
consideramos normalmente vlidas. Lo que haremos ahora, es detenernos a analizar porqu
consideramos a estas inferencias vlidas, aprenderemos que al construir la tabla de verdad
de la inferencia lgica se puede determinar la validez de la misma, a la vez que aprendes a
identificar las diferentes inferencias lgicas en los razonamientos que hacemos
continuamente.
Poder identificar una inferencia lgica y poder clasificarla como vlida o no mediante la
construccin de la tabla de verdad te dar las bases para elaborar argumentos slidos,
presentes en todas las actividades acadmicas ya sea en la elaboracin de ensayos o
debates, como en las actividades cotidianas.
Veamos la primera regla, denominada Modus Ponendo Ponens MPP, tambin llamada
simplemente MP Modus Ponens, nombre que puedes leer como Modo Afirmando_
Afirmando, veamos:
180
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
p = llueve
q = hace fro
pq Se lee : si p entonces q
p Se lee : ocurre p
q Se lee : de donde q
181
Lgica Matemtica
Ahora ya estamos listos para interpretar la regla de inferencia tal y como nos fue
presentada en un comienzo, esto es:
( p q ) p q
pq Si p entonces q
q y p (y se da p, y ocurre p)
q Entonces q (en conclusin q)
Es decir que ( p q ) p q
La magia del asunto radica en que mediante la aplicacin de lo que ya has aprendido en el
captulo de conectivos lgicos podemos determinar la validez de la inferencia lgica Modus
Ponen mediante la construccin de la tabla de verdad, de la cual esperamos obtener una
tautologa.
Ve analizando:
Cmo puede decirnos la lgica que estamos argumentando bien? Cmo puede la lgica
mediante una tabla de verdad demostrarnos que estamos usando una inferencia lgica
correcta o incorrecta?
p q pq ( p q) p ( p q ) p q
F F V F V
F V V F V
V F F F V
V V V V V
182
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 2
Premisa 1: Si Julin estudia Ingeniera de sistemas a distancia, entonces
l estudia en la UNAD.
Premisa 2: Julin estudia Ingeniera de sistemas a distancia.
Conclusin: Julin estudia en la UNAD.
Si
p: Julin estudia Ingeniera de Sistemas a Distancia
q: l estudia en la UNAD.
Premisa 1: p q
Premisa 2: p
Conclusin: q
Ejemplo 2.
Premisa 1: Si x + y = z, entonces, y + x = z.
Premisa 2: x + y = z
Conclusin: y + x = z
Simblicamente, si p: x + y = z
q: y + x = z
Entonces: Premisa 1: pq
Premisa 2: p
Conclusin: q
183
Lgica Matemtica
Ejemplo 3.
Premisa 1: p s
Premisa 2: ~ p
Conclusin: s
Ejemplo 4.
Premisa 1: r ( t s )
Premisa 2 : ~ r
Conclusin: ( t s )
Ve practicano: Se propone al estudiante verificar que en todos los ejemplos se obtiene una
tautologa
184
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
pq Se lee : si p entonces q
q Se lee : ocurre ~q
p Se lee : de donde ~p
( p q ) q p
Ejemplo 1:
Modus Tollens (M. T)
Si llueve hace fro
no hace fro
luego no llovi
Ejemplo 2
Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma
de los otros dos ngulos es menor de 90.
Premisa 2: La suma de los otros dos ngulos no es menor de 90.
Conclusin: Un ngulo de un tringulo no es mayor de 90.
Simblicamente:
p: Un ngulo de un tringulo es mayor de 90.
q: La suma de los otros dos ngulos es menor de 90.
Premisa 1: p q
Premisa 2: ~ q
Conclusin: ~ p
185
Lgica Matemtica
Ejemplo 3
Verificar la conclusin del siguiente conjunto de premisas.
Premisa 1: q r
Premisa 2: ~ (~ r)
Conclusin: ~ q.
Ejemplo 4
Verificar la conclusin del siguiente conjunto de premisas.
Premisa 1: p (q r )
Premisa 2: ( q r )
Conclusin: p
Ejemplo 5
Demostrar que la conclusin es consecuencia de las premisas dadas.
Premisa 1: ~ b
Premisa 2: a b
Premisa 3: a c Demostrar c.
186
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
( p q ) ( q r ) ( p r )
Ejemplo 1
Ejemplo 2.
Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.
Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de
volumen.
Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.
Simblicamente:
Premisa 1. p q
Premisa 2. q r
Conclusin. p r
187
Lgica Matemtica
Ejemplo 3
Premisa 1. q p
Premisa 2. p r
Conclusin. qr
Ejemplo 4
Premisa 1. (s t ) (r q)
Premisa 2. ( r q ) p
Conclusin. ( s t ) p
Ejemplo 5
A partir de las premisas dadas indicar la demostracin de la conclusin:
Premisa 1: ~ r
Premisa 2: p q
Premisa 3: q r Demostrar p
________________________________________________________
188
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
pq
p
q
( p q ) p q o ( p q ) q p
Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o
cambia slo a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.
Simblicamente:
Premisa 1: p v q
Premisa 2: ~ p
Conclusin: p
189
Lgica Matemtica
Ejemplo 2
Premisa 1: ~ q v r
Premisa 2: ~ r
Conclusin: ~ q
Ejemplo 3
Premisa 1: (s t) r
Premisa 2: (s t )
Conclusin: r
Ejemplo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas
Premisa 1: ~ q v s
Premisa 2: ~ s
Premisa 3. ( r s ) q Demostrar: r s
___________________________________________________________
190
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
( p q) (r s)
pr
q s
Ejemplo:
Dilema constructivo (D.C)
Si estudio aprendo y si duermo
descanso.
Estudi o dorm.
Luego Aprend o descans.
Ejemplo:
Absorcin (Abs.)
Si estudio aprendo
Estudio, luego aprendo y estudio
Ejemplo:
Simplificacin (Simp.)
Estudio y aprendo
Luego, estudio
191
Lgica Matemtica
Ejemplo:
Conjuncin (Conj.)
Estudio
Trabajo
Luego, etudio y trabajo
p
pq
Ejemplo:
Adicin (Ad.)
Estudio
Luego, etudio trabajo
192
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2233 A
Applliiccaacciinn ddee llaass lleeyyeess ddee iinnffeerreenncciiaa
Ejemplo 1
En el siguiente ejercicio se propone un ejemplo de construccin de una prueba de validez:
Si gana Gloria o Hctor, entonces pierden tanto Jorge como Kelly. Gloria gana.
Por lo tanto, pierde Jorge.
G = Gloria gana
H = Hctor gana
J = Jorge pierde
K = Kelly pierde
4. J K 1,3 M. P
J K es la consecuencia de G H aplicando la ley de
inferencia MP (Modus Ponendo Ponens) con las premisas
1 y 3.
193
Lgica Matemtica
Ejemplo 2
C: contina lloviendo
R: el ro crece
P: el puente es arrastrado por las aguas
S: un solo camino es suficiente para toda la ciudad
E: los ingenieros han cometido un error
1. CR
2. (C R ) P
3. (C P ) S
4. SE /E
__________________________________
5. C (C R ) 1, Abs.
6. CP 5,2, S. H.
7. S 3,6, M. P.
8. E 4,7, D. C.
194
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 3
Si un hombre se orienta siempre por su sentido del deber, tiene que renunciar al
goce de muchos placeres, y si se gua siempre por su deseo de placer, a
menudo olvidar su deber. O bien un hombre se gua siempre por su sentido del
deber, o bien siempre se orienta por su deseo de placer. Si un hombre se gua
siempre por su sentido del deber, no descuidar a menudo su deber, y si
siempre se gua por su deseo de placer, no renunciar al goce de muchos
placeres. Luego, un hombre debe renunciar al goce de muchos placeres si y slo
si no descuida a menudo su deber.
6. q r 5 MTT
7. r p 3 SD
8. q p 6, 7 SH
9. q s 4,8 SH
10. s r 2 MTT
11. r p 7,10 SH
12. s p 10, 11 SH
13. s q 1, 12 SH
14. q s 9,13 SH
195
Lgica Matemtica
Ejemplo 4
Si no ocurre, que si un objeto flota en el agua entonces es menos denso que el
agua, entonces se puede caminar sobre el agua. Pero no se puede caminar
sobre el agua.
Si un objeto es menos denso que el agua, entonces puede desplazar una
cantidad de agua igual a su propio peso.
Si puede desplazar una cantidad de agua igual a su propio peso, entonces el
objeto flotar en el agua.
Por tanto, un objeto flotar en el agua si y slo si es menos denso que el agua.
1. ( p q) r
2. r
3. qs
4. s p pq
196
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2244 D
Deem
moossttrraacciinn ddiirreeccttaa ee iinnddiirreeccttaa
5.2 La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el
enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las
proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la
conclusin o tesis que as se demuestra.
Ejemplo 1.
Dadas las premisas: 1. p q
2. rq
Concluir : t. p r
_______________________________________________________________
Demostracin: Puesto que r q es equivalente a q r , por MTT
se tiene la premisa:
197
Lgica Matemtica
Ejemplo 2
Demostrar que si x es impar, entonces que x2 es impar. El enunciado genera
las siguientes premisas:
1. x es impar
2. x = 2n+ 1, donde n es un entero
Demostracin:
Si x es impar, entonces x = 2n + 1, entonces x2 = (2n + 1)2 = 4n2 + 4n + 1,
esta expresin se puede escribir de la forma 2(2n2 + 2n) + 1, tomando el
trmino 2n2 + 2n como el entero m, se tiene que:
x2 = (2n + 1)2 = 2m + 1, es decir , x2 es un nmero impar.
Ejemplo 1.
Construir la demostracin indirecta de:
198
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una
proposicin abierta en una variable n, y es necesario demostrar que tal
proposicin se verifica para todos los elementos n que pertenecen a un
subconjunto infinito dado sobre los nmeros enteros, el axioma de la induccin
matemtica es el siguiente:
199
Lgica Matemtica
Ejemplo 3.
Demostrar que para todo entero 1, se verifica que:
= k2 +3k +2
2
Factorizando:
200
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2255 LLaa rreeffuuttaacciinn
Se supone que ambos miembros deben representar el mismo entero, pero el miembro de la
izquierda no es divisible por 2, mientras que el de la derecha si es divisible por 2. Esto es una
contradiccin evidente y, por lo tanto, la proposicin dada es falsa.
Se debe encontrar un nmero impar cuyo cuadrado sea impar, como 52 = 25, queda refutada
la proposicin.
Ve practicano: Se deja como ejercicio de consulta investigar otros ejemplos de los tipos de
demostracin y de los mtodos de refutacin.
201
Lgica Matemtica
Objetivos especficos
202
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2266 A
Arrgguum
meennttooss iinndduuccttiivvooss
Introduccin
Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de la
validez de sus premisas (mtodo deductivo), mientras que otros slo buscan establecer si las
premisas son probables o probablemente verdaderas, sin pretender demostrar la verdad de
sus conclusiones como consecuencia necesaria de las premisas, este tipo de argumentos
recibe el nombre de Argumentos Inductivos.
----observacin
----observacin y experiencia las bases de la induccin-----
induccin-----
La aplicacin o el anlisis de estos dos aspectos permiten inferir o pronosticar los efectos
que producir la ocurrencia del suceso, tomando como referencia lo ocurrido con eventos
anteriores de caractersticas similares.
203
Lgica Matemtica
LLeecccciinn N
Noo..2277 E
Ell pprroobblleem
maa ddee llaa iinndduucccciinn
El problema de la induccin:
Una induccin tpica, analizada sobre el modelo de la deduccin, tiene como premisas
formulaciones particulares, por ejemplo: el evento a del tipo X, es seguido del evento b, del
tipo Y, el evento c del tipo X es seguido del evento d del tipo Y, y as sucesivamente; tiene
por conclusin una formulacin general, Sin restricciones: eventos del tipo X son seguidos
por eventos del tipo Y.
En este caso surge un problema lgico porque segn el mtodo deductivo, los argumentos de
esa forma no son vlidos, de manera que no se puede inferir esa conclusin, ni saber si es
verdadera basada en la verdad de las premisas.
Lo anterior permite afirmar que la induccin es deficiente con respecto al modelo deductivo,
visto como procedimiento de descubrimiento y como procedimiento de confirmacin.
204
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2288 LLaa aannaallooggaa
La analoga tambin se usa en la explicacin, donde algo no familiar se hace inteligible por
medio de una comparacin con alguna otra cosa, presumiblemente ms familiar, con la cual
tiene ciertas similitudes.
Hacer una analoga entre dos o ms entidades es indicar uno o ms aspectos en los que son
similares, mientras que caracterizar un argumento por analoga es en trminos generales,
describir el argumento dado diciendo que contiene premisas que afirman, primero, que dos
cosas son similares en dos aspectos y, segundo, que una de esas cosas tiene una
caracterstica adicional, de lo cual se extrae la conclusin de que la segunda cosa tiene
tambin esa otra caracterstica.
Ejemplo 1.
Identifique en el siguiente prrafo el argumento analgico
Hemos dicho que las personas normales tienen poca motivacin para
dedicar un esfuerzo especial al estudio de s mismas. Lo mismo es cierto
de la aritmtica. Si la presin de los padres y de la escuela no
proporcionara una motivacin, habra un aprendizaje escaso de las
matemticas. Por analoga, parece posible que pueda motivarse y
205
Lgica Matemtica
prepararse a los nios para usar sus habilidades mentales con el fin de
resolver problemas emocionales. En la actualidad, no reciben casi
ninguna preparacin para el desarrollo de esta importante capacidad .
Ejemplo 2
Si alguien dice que le han extrado una muela sin anestesia y otro le expresa su
consideracin, entonces surge la pregunta: Cmo sabe que le doli? Una
respuesta podra ser: Yo he ido al odontlogo y s cuanto duele una simple
curacin sin anestesia, cmo ser una extraccin?, l tiene el mismo tipo de
sistema nervioso que yo, por lo tanto puedo inferir que en esas condiciones,
sinti un terrible dolor
206
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..2299 LLaa ffuueerrzzaa ddee llooss aarrgguum
meennttooss
Significa que es importante tener en cuenta el nmero de veces que ha ocurrido el suceso,
esto da ms consistencia a la conclusin y una mayor probabilidad de que se repita el suceso.
Ejemplo:
Si un electrodomstico que se compro en un determinado almacn sali
defectuoso, una conclusin apresurada sera afirmar que los electrodomsticos
que se compran en ese almacn salen defectuosos; pero si esa misma
conclusin se hace sobre la base de que 10 electrodomsticos comprados all
han resultado defectuosos, la conclusin cobra mayor validez y la probabilidad
de que siga ocurriendo lo mismo crece.
Este criterio hace referencia a todos los aspectos en que los sucesos son anlogos, y cuando
se encuentra un mayor nmero de circunstancias o caractersticas de semejanza entre los
sucesos, mayor ser la validez de la conclusin.
207
Lgica Matemtica
Ejemplo:
El hecho de que un par de zapatos nuevo, ha sido comprado en el mismo
almacn que el par viejo, el cual fue muy resistente, es una premisa de la que se
sigue que probablemente el nuevo par ser tambin resistente. Pero la misma
conclusin se sigue con mayor probabilidad si la premisa afirma no solamente
que los zapatos fueron comprados en la misma tienda, sino que son de la misma
marca, que eran los ms caros del almacn y que tienen el mismo estilo.
Ejemplo:
Una persona adquiri un carro nuevo y la ha dado un rendimiento de 10 Km /
litro de gasolina, otra persona puede inferir que su carro nuevo, de la misma
marca y modelo le dar un rendimiento igual (lo cual es probable); pero si la
inferencia es que su carro le dar un rendimiento superior a 10 Km / litro,
entonces esta conclusin ser menos probable y la conclusin ser mucho ms
dbil si se afirma que el automvil rendir exactamente 10 Km / litro.
208
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
LLeecccciinn N
Noo..3300 A
Annaallooggaa rreeffuuttaaddoorraa
Este mtodo consiste en refutar un argumento, mostrando que sus premisas no apoyan la
conclusin que se pretende sostener, sin necesidad de demostrar que por lo menos una de
sus premisas es falsa o est equivocada.
Si un argumento tiene premisas verdaderas pero conclusin falsa, esto es base suficiente
para clasificarlo como invlido; pero, si no se sabe si las premisas son verdaderas o falsas, se
puede probar su invalidez construyendo una analoga refutadora.
Ejemplo 6
El siguiente texto muestra una analoga refutadora.
209
Lgica Matemtica
Ejercicios propuestos
Unidad 2
Ejercicio Propuesto 1: Inicia por identificar cada una de las proposiciones simples
presentes en cada uno de los ejemplos:
1. ( p q) (r s)
2. ( q p ) t ( t s )
3. pq
4. s
210
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
1. p q
2. p ( q r )
3. q ( r s ) / s p
( p q ) p q
( p q ) p q
( p q ) q p
211
Lgica Matemtica
Premisa 1. (s t ) (r q)
Premisa 2. ( r q ) p
Conclusin. ( s t ) p
Ejercicio Propuesto 9: Construye la tabla de verdad para las leyes de inferencia de: Dilema
constructivo, Absorcin, Simplificacin, Conjuncin, Adicin,
paralelamente plantea ejemplos cotidianos en los que sueles
aplicar estas formas de razonamiento.
Ejercicio Propuesto 10: Plantea dos razonamientos inductivos por analoga basados en la
observacin
Ejercicio Propuesto 12: Plantea dos razonamientos inductivos por analoga basados en la
experiencia:
212
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Para acceder al aplicativo debes hacer acceder al enlace al generador pero antes, acepta la
invitacin para estudiar el video correspondiente.
SIMULADORES
http://www.youtube.co
m/watch?v=Eu5zOy-
PLCo&feature=player_
embedded
213
Lgica Matemtica
Suppes, Patrick. Hill, Shirley (1988). Primer curso de lgica Matemtica.. Revert. Santaf de
Bogot.
Salazar, R. (2008). Gua didctica para el diseo de la Gua de Actividades de los cursos por
mediacin Tradicional.. Vicerrectora de Medios y Mediaciones Pedaggicos. Universidad
Nacional Abierta y a Distancia. UNAD. Bogot. D.C.
Objetos Virtuales
UNIDAD 1
214
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
215
Lgica Matemtica
Reconocimiento:
-ejercicio de conjuntos 2:
-Video 2: Problema a resolver (swf con audio)
-Video 3: Proposiciones simples (swf con audio)
-Video 4: Deduccin 1 (swf con audio)
-Video 5: Deduccin 2 (swf con audio)
-Video 6: Deduccin 3 (swf con audio)
-Video 7: Deduccin 4 -solucin al problema (swf con audio)
-Video 8: Deduccin 5 (swf con auido)
-Video 9: Deduccin 6 - (swf con auido)
Video 10: Deduccin 7 - otra solucin al problema (swf con audio)
-Video 11: Deduccin 8 - fin del ejercicio (swf con audio)
UNIDAD 2
Audio : Hablemos sobre las leyes de inferencia (audio-mp3)
216
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
217
Lgica Matemtica
218
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
219