Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modulo de Logica 90004 2013-II
Modulo de Logica 90004 2013-II
INGENIERA
MDULO DE LGICA
GICA MATEMTICA
LGICA MATEMTICA
GEEORFFREY ACEVEDO GONZLEZ
Medelln, 2012
Lgica Matemtica
Jaime Alberto Leal Afanador
Rector
Dr. Roberto de Jess Salazar Ramos
Asesor de Rectora
Vicerrector de Servicios a Aspirantes, Estudiantes y Egresados
Miguel Roberto Hernndez Saavedra
Dra. Elizabeth Vidal Arizabaleta
Vicerrectora Acadmica y de Investigacin
Dra. Gloria C. Herrera Snchez
Vicerrectora de Medios y Mediaciones Pedaggicas
Dr. Edgar Guillermo Rodrguez
Vicerrector Vicerrectora de Desarrollo Regional Comunitario
Gustavo Velsquez Quintana
Decano Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Magdalena Pinzn de Posada
Vicerrectora de Relaciones Internacionales
Maribel Crdoba Guerrero
Secretaria General
Jorge Eliecer Rondn
Coordinador de Ciencias Bsicas
MDULO
CURSO DE LGICA MATEMTICA
PRIMERA EDICIN (EN EDICIN)
Copyrigth
Universidad Nacional Abierta y a Distancia
Lgica Matemtica
Maestro en educacin del Instituto Tecnolgico de Monterrey. Ingeniero electrnico de la Universidad de Antioquia. Docente Ocasional de la Escuela de
Ciencias Bsicas Tecnologas e Ingeniera de la Universidad Nacional Abierta y a Distancia UNAD- desde 1995.
www.georffrey.com georffrey.acevedo@unad.edu.co georffrey@gmail.com
Lgica Matemtica
CONTENIDO POR LECCIONES
Unidad 1 Principios de Lgica
Introduccin a la lgica
Proposiciones
Conectivos lgicos fundamentales
Condicional y Bicondicional
Tablas de verdad
Captulo 2 Tautologa
Leccin No. 6
Leccin No. 7
Leccin No. 8
Leccin No. 9
Leccin No. 10
Tautologa
Proposiciones equivalentes
Tautologa trivial y doble negacin
Implicacin directa, contraria, recproca y contrarrecproca
Leyes de la lgica
Cuantificadores
Proposiciones categricas
Representacin de las proposiciones categricas
Clasificacin de las proposiciones categricas
Proposiciones contrarias, de contingencia y subcontrarias
Razonamiento lgico
El mtodo cientfico
Silogismos categricos
Validez de un argumento
Prueba formal de validez
Inferencia lgica
Leyes de inferencia
Aplicacin de las leyes de inferencia
Demostracin directa e indirecta
La refutacin
Argumento Inductivo
El problema de la induccin
La analoga
La fuerza de los argumentos
Analoga refutadora
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
1
1.1
1.2
1.3
1.4
1.4.1
1.5
1.6
1.7
1.7.1
1.7.2
1.7.3
1.8
1.8.1
1.8.2
1.8.3
1.8.4
1.8.5
1.9
1.9.1
2
2.1
2.2
2.2.1
2.2.2
2.3
2.4
3
Captulo 3: Cuantificadores y proposiciones categricas .................................................. 116
3.1
Cuantificadores........................................................................................................................ 117
3.1.1 Cuantificador universal y existencial ...................................................................................... 117
3.2
Proposiciones categricas ....................................................................................................... 120
3.2.1 Cualidad y cantidad de las proposiciones categricas ............................................................ 121
3.3
Simbologa y diagramas para proposiciones categricas ........................................................ 123
3.3.1 Clasificacin de las proposiciones categricas ....................................................................... 129
3.4
Proposiciones contrarias, de contingenica y subcontrarias ..................................................... 133
3.4.1 Proposiciones contradictorias .................................................................................................. 133
3.4.2 Proposiciones contrarias .......................................................................................................... 135
3.4.3 Proposicin Contingente ......................................................................................................... 137
3.4.4 Proposiciones Subcontrarias ................................................................................................... 136
Ejercicios Propuestos Unidad 1. 140
Laboratorio Unidad 1.. 154
UNIDAD 2 Razonamientos Lgicos
4
4.1
4.1.1
4.1.2
4.2
4.3
4.3.1
4.3.2
5
5.1
5.1.1
5.1.2
5.1.3
5.1.4
5.1.5
5.1.6
5.1.7
Lgica Matemtica
5.1.8
5.1.9
5.2
5.2.1
5.2.2
5.2.3
5.2.4
6
6.1
6.1.1
Referencias ....214
10
11
Lgica Matemtica
INDICE DE FIGURAS
Figura No.
Figura No.
Figura No.
Figura No.
Figura No.
Figura No.
12
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:
<
>
Menor que
Menor o igual que
Mayor que
Mayor o igual que
Diferente a
Conjuntos numricos:
+
14
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.
Identificar y aplicar las diferentes leyes de la lgica en
procesos de argumentacin, al llevarlas al lenguaje
natural.
Desarrollar competencias para la construccin de
funciones lgicas en programas de computacin,
como las hojas de clculo o de lenguajes de
programacin.
15
Lgica Matemtica
Audio1.MP3
16
17
Lgica Matemtica
18
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
19
Lgica Matemtica
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
20
U
A
a.
b.
U
U
B
c.
C
A
d.
21
Lgica Matemtica
16. En los siguientes cuatro diagramas sombrea las reas correspondientes a
la operacin: A interseccin B
U
U
A
a.
b.
U
U
B
C
A
c.
d.
U
B
a.
b.
U
B
B
c.
22
U
C
A
d.
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________________________
________________________________________________________________________________________________________
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
de
retorno
Informacin
Generalmente, los conjuntos se identifican con letras maysculas y sus elementos con
minsculas.
24
(se lee
xA
U
x
A
A
x
Figura No. 1
Por extensin
Informacin
de
retorno
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:
C = {Nmeros impares menores que 10}
D = {Vocales}
B = {Dgitos}
25
Lgica Matemtica
Lenguaje:
E = {x R / 0 x < 9}, en este caso se utiliza un lenguaje muy especfico, el cual se
lee as:
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?
Informacin
de
retorno
Conjuntos infinitos
Existen conjuntos como por ejemplo:
A = {x
/ 0 x < 9}
Z = {x
/ x es par}
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;
Conjuntos finitos
Mientras que otros conjuntos, como por ejemplo:
C = {x / x es vocal}
D = {x / x es dgito par}
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
Conjunto Vaco
Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as:
U
A
{ }
A=
retorno
Naturalmente el conjunto
afirmar que:
de
Informacin
Figura No. 2.
Ejemplo 1:
D = {x
/ xx)
27
Lgica Matemtica
Conjunto Unitario
Se denomina conjunto unitario al conjunto formado por un slo elemento.
U
A
A = Conjunto Unitario
A = {7}
Figura No. 3
Ejemplo 2:
E = {x / x es nmero primo par}
de
retorno
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
Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza
de sus elementos, por ejemplo:
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.
Informacin
28
A
a
U = Conjunto Universal
A = {a,e,i}
U = V = {a,e,i,o,u}
Figura No. 4
Similarmente, si A = {x N / x es primo} sus elementos son elementos del conjunto
de los nmeros naturales N, A N y en este caso, N se constituye en el conjunto
universal. Generalmente, el conjunto universal se simboliza con la letra U.
Subconjuntos
Un conjunto A es un subconjunto de un conjunto B, si todo elemento del conjunto A
tambin es elemento del conjunto B.
Simblicamente esta relacin se expresa as:
A
B si todo x
A, entonces
retorno
AB
xA
xB
de
Figura No. 5
Informacin
Ejemplo 3:
Si A = {x / x es dgito par} y B = {x / x es dgito}, claramente A
todo dgito par es dgito. Por extensin la situacin se expresa as:
A = {2, 4, 6, 8}
ya que
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Entonces A es un subconjunto de B.
29
Lgica Matemtica
B C, entonces,
A B
B C
Informacin
de
retorno
30
AC
______
AC
xA
xB
xC
Figura No. 6
A = B Si A B
U
B
A
2
1
4
3
5
B A
AB
BA
______
B=A
Informacin
de
retorno
Figura No. 7.
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
A B, por lo tanto el conjunto A no es igual al conjunto B, lo cual se escribe, A B.
U A 9 B
1
2 4
5
3
8
6
7
BA
AB
______
AB
Figura No. 8
31
Lgica Matemtica
U
A
AB y
B A y no hay elementos
1
7
5
2
comunes
Figura No. 9.
Informacin
de
retorno
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.
13. Qu operaciones entre conjuntos conoces?
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.
Unin
32
2
1 4
AUB
6
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
retorno
AUB = {1,2,3,4,5,6,7}
Informacin
de
6
4 5
1
7
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
AUB = {1,2,3,4,5,6,7}
Figura No. 11
33
Lgica Matemtica
32
6 7
1 4
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A U B = {1,2,3,4,5,6,7}
Figura No. 12
Ejemplo 7
Si A U B = {x
Informacin
de
retorno
3 7
1 5 2
86
AUB = {1,2,3,4,5,6,7,8,9}
Figura No. 13
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:
Interseccin
Se define la interseccin entre dos conjuntos A y B como el conjunto formado por
todos los elementos que pertenecen simultneamente al conjunto A y al conjunto B.
Simblicamente la interseccin se expresa as:
A B = {x / x A, , x B}
34
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,5,7,9}
B = {2,4,6,8}
3 2
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
6 7
1 4
A B={}
de
retorno
Informacin
U
B
3 2
1 4
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A B = {5,6}
Figura No. 15
35
Lgica Matemtica
A
3
1
4
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A B = {5,6,7} = B
9
Informacin
de
retorno
Figura No. 16
36
2. M P =
3.
M =
M=.
37
Lgica Matemtica
Diferencia
Segn los tres casos estudiados, se puede afirmar que
conjuntos no vacos, puede suceder que:
al comparar dos
retorno
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.
En la siguiente grfica, la parte sombreada representa la diferencia entre los
conjuntos A y B.
Informacin
de
38
1 4
9
Figura No. 18.
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
A- B = A = {1,2,3,4}
B- A = B = {5,6,7}
3
1 4
5
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A-B = {1,2,3,4}
Figura No. 19
Caso 3. Que un conjunto este contenido en el otro
Informacin
de
retorno
32 6
14
Figura No. 20
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A- B = {1,2,3,4}
B-A={}
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:
Cul ser la diferencia entre A y B (A B) cuando B A?
39
Lgica Matemtica
Ejemplo 8
Dados los conjuntos A = {x / x es un dgito} y B = {0, 2, 3, 7} hallar
A B y B A y hacer la representacin grfica.
Para efectuar estas operaciones se escriben los conjuntos por extensin, as:
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {0, 2, 3, 7}, entonces:
A B = {1, 4, 5, 6, 8, 9} y B A = ,
A
6
5B
Informacin
de
retorno
9 8
1
40
Figura No. 21
3 7
2 0
U = {0,1,2,3,4,5,6,7,8,9}
A = {0,1,2,3,4,5,6,7,8,9}
B = {0,2,3,7}
A- B = {1,4,5,6,8,9}
B-A = { }
Diferencia simtrica
Se define la diferencia simtrica entre dos conjuntos no vacos A y B, como el
conjunto formado por los elementos que pertenecen al conjunto A o al conjunto
B, pero no pertenecen simultneamente a ambos conjuntos.
Simblicamente la diferencia simtrica entre A y B se escribe as:
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.
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos
disyuntos).
retorno
3 2
1 4
6 7
A B = {1,2,3,4,5,6,7}
B A = {1,2,3,4,5,6,7}
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
de
Informacin
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A B = {1,2,3,4,7}
B A = {1,2,3,4,7}
6
1 4 5
Figura No. 23
41
Lgica Matemtica
2 6
1 4
7
5
8
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A B = {1,2,4}
B A = {1,2,4}
Figura No. 24
Informacin
de
retorno
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}.
42
Complemento
Si A es un conjunto no vaco, el complemento de A, simbolizado por A, est
formado por todos los elementos que no pertenecen al conjunto A, es decir,
A = Ac = A* = ~A = A = A = {x / x A}
En la siguientes grficas, la parte sombreada representa el complemento del
conjunto A.
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos
disyuntos).
Informacin
de
retorno
3 2
14
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4}
B = {5,6,7}
6 7
A = {5,6,7,8,9}
9 5
A
3
1 4
B 8
6
5
9
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6}
B = {5,6,7}
A = {7,8,9}
Figura No. 28
43
Lgica Matemtica
AA B
32 6
1
U = {1,2,3,4,5,6,7,8,9}
A = {1,2,3,4,5,6,7}
B = {5,6,7}
A = {8,9}
Informacin
de
retorno
Ejemplo 11
44
retorno
d. Leyes distributivas:
A U (B C) = (A U B) (A U C)
A (B U C) = (A B) U (A C)
Las siguientes propiedades estn relacionadas con los conjuntos Universal
U y vaco
Informacin
de
e. Leyes de identidad:
A U U = U
A U = A
A U =A
A =
A A' =
' = U
g. Leyes de DMorgan:
(A U B)' = A' B'
(A B)' = A' U B'
45
Lgica Matemtica
a)
Leyes de idempotencia:
A U A = A
A A = A
Qu obtenemos de interceptar el conjunto A con l mismo?
Qu pasa si unimos A con A? :
U
A
A
de
retorno
A
A
Informacin
A
A
A
A
U
A
A
A
A
U
A
A
A
46
A
A
Leyes de identidad:
A U U = U
A U = A
A U =A
A =
U
U
retorno
U
A
Informacin
de
47
Lgica Matemtica
U
A
retorno
Informacin
de
48
c)
A A'
'
=
= U
U
A
U
A
retorno
de
Figura No. 38 Al unir el conjunto A con los elementos que no estn en A se obtiene el
universo
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:
(A U B)' = A' B'
(A B)' = A' U B'
La demostracin grfica de que (A U B)' = A' B' es la siguiente:
En el primer conjunto representamos la unin entre A y B y en el segundo los
elementos que no estn en dicha unin, obteniendo el trmino de la izquierda del
teorema de DMorgan:
2
3
retorno
de
Informacin
6
3
1 4 5
6
14 5
8
(A U B)
A U B
Figura No. 40
3 6
1 4 5
8
A
Figura No. 41
50
B
6
7
9
8
B
3 6
14 5
14 5
9
A' B'
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.
Informacin
de
retorno
Ejemplo 12
Demostrar que el dual de;
(U U B) (A U ) = A es:
( B) U (A U) = A
Tomando la primera parte y por las leyes de identidad se tiene que:
(U U B) (A U )
U
A
= A
Ahora, consideremos su dual y nuevamente aplicando las leyes de identidad se
tiene que:
( B) U (A U)
U
A
= A
Con lo que queda demostrado.
51
Lgica Matemtica
Ejemplo 13
Demostrar que el dual de
(A B) U (A B') = A es
(A U B) (A U B') = A
En este caso se puede hacer la demostracin en forma grfica as:
i) La primera parte se puede representar de la siguiente forma:
B
3
1 4
6
5
B
2
1 4
8 9
retorno
de
A
6
3
1
(A B)
1
9
( A B' )
B
2
A B'
8
Informacin
U
2
326 7
14 5
52
6
5
6
4
5
8
U
3
A
2
1 4
B
7
1 4
6
5
A
3
1 4
B
U
A U B
1 4
6
5
B
7
2
3
1 4
B
7
(A U B)
A U B
de
retorno
A
8
2
6
3
1 4 5
Informacin
53
Lgica Matemtica
15. En los siguientes cuatro diagramas sombrea las reas correspondientes a la
operacin: A unin B
U
A
U
A
retorno
de
Informacin
B
B
54
U
A
U
A
U
A
B
A
retorno
U
A
Informacin
de
U
A
U
C
B
B
55
Lgica Matemtica
N
U=
M=
N=
M N=
M P=
P
MNP=
Figura No. 17
Ejercicio propuesto 2:
Representa el ejemplo anterior mediante diagramas de Venn
Figura No. 25
56
U
=
A
=
B
=
A B=
AB =
AUB=
Ejercicio propuesto 3:
Representa el ejemplo anterior mediante diagramas de Venn
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.
Primera parte: representa en cada conjunto A, B y el complemento de la interseccin entre A y
B:
A
3
B
2
1 4
______
1 4
B
6
______
1 4
B
6
5
9
______
Segunda parte de la igualdad A' U B': representa en cada conjunto A, B y la unin entre
ambos conjuntos:
57
Lgica Matemtica
A
3
B
2
1 4
B
2
1 4
5
9
B
2
1 4
5
9
______
______
5
9
______
Ejercicio propuesto 5:
A continuacin se plantean diez ejercicios de aplicacin de las leyes de conjuntos, te
proponemos hacer el ejercicio de simplificarlos:
1)
2)
3)
4)
5)
58
( (A B)' )
(A ) ( ( (B)' ) )
(A' U A' ) U B'
(A )'
(A )'
6) (A U ) '
7) (A A)' U (A' U A' )
8) (A U A ) '
9) (A A ) ' U A'
10) ( (A ) U U )' A'
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
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.
CAPTULO 1
Objetivos especficos
62
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
64
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
6
65
Lgica Matemtica
Los lenguajes naturales y formales tienen puntos en comn, en principio, se
tiene la existencia de un conjunto finito llamado alfabeto, el cual est constituido
de smbolos simples llamados comnmente letras. En los lenguajes naturales se
tienen como ejemplos los alfabetos: latino, griego y rabe-persa, entre otros. En
los formales como la lgica se tiene el lxico del clculo proposicional y de
predicados.
Mediante la concatenacin de las letras del alfabeto se forman los monemas,
fonemas o palabras que se encuentran en el interior de un enunciado, de tal
forma que un lenguaje se considera como un conjunto infinito de oraciones o
enunciados que se forman con palabras.
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
66
Lenguaje Natural
Imagen No. 1 . Scrates. Detalle de La escuela de Atenas fresco de Raffaello Sanzio (1511)
Galindo Patio N. J. (1999).. Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
8
67
Lgica Matemtica
Lenguaje Artificial
h2 = a2 + b2
a2
h2
b2
H
K
A
F
D L
Imagen No. 3
Euclides. Padre de la Geometra.
Detalle. La escuela de Atenas - fresco
de Raffaello Sanzio (1511)
68
69
Lgica Matemtica
Inclusin
A
B
C
Interseccin
C
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
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
9
70
71
Lgica Matemtica
72
Amigo estudiante, recuerda que la motivacin es una de las tres condiciones para lograr un
aprendizaje significativo:
1. Cmo se puede definir la lgica?
2. Elabore un resumen sinttico de la historia de la lgica?
3. Mediante un cuadro sinptico, clasifique la lgica con sus caractersticas fundamentales
4. Cul es el propsito de la lgica?
5. Escriba y explique las componentes del proceso semitico.
6. Enuncie las ramas de la semitica.
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.
El valor de verdad de la proposicin de acuerdo a la relacin de su contenido con la realidad
no es el objeto de estudio de la lgica. Es por esta razn que se afirme que la lgica habla de
lo posible, pero no de lo real. De esta manera, dada la proposicin hace fro, independiente
de las creencias de cualquiera o de la realidad de que est o no haciendo fro, independiente
del lenguaje o de la forma lingstica usada como la temperatura est baja, la lgica slo se
ocupa de la posibilidad de ser verdadero o falso de la proposicin.
De all que se suela afirmar que la verdad lgica es una verdad formal, que no tiene
contenido.
Observemos que las proposiciones se dan mediante un enunciado lingstico, generalmente
en la forma gramatical de oracin enunciativa:
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
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
En el lenguaje cotidiano se encuentran expresiones como las siguientes:
Ejemplos:
Las rosas son rojas
tienen espinas.
o perdi?
no hay violencia.
un razonamiento lgico.
4 es un nmero par si
Para la formacin de las oraciones del ejemplo anterior se utilizaron las expresiones
especiales: y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los
enunciados; denominamos a stas partculas o trminos de enlace "nexos o conectivas", que
establecen relaciones sintcticas como funcin de coordinacin y subordinacin determinadas
entre las proposiciones que la integran; tal ocurre en la funcin de las conjunciones en las
oraciones compuestas de la lengua.
Al igual que a las proposiciones, tambin les asignamos un lenguaje simblico as:
Tabla No. 1 Conectivos Lgicos. Lenguaje Natural y Artificial
Lenguaje Natural
Lenguaje Artificial
o
no
Si . entonces
Si y slo si
76
Ejemplos:
Expresin: Las rosas son rojas
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:
____________________________________________________________
77
Lgica Matemtica
Expresin:
puedo determinar la
x y
____________________________________________________________
Expresin: 4 es un nmero par
Proposiciones:
u : 4 es un nmero par
v : 4 es divisible por 2
Notacin simblica:
uv
78
:
:
:
:
:
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
Ejemplos:
p : Est lloviendo
q: El sol brilla
pq
x : Quiero caf!
y : Quiero t!
x y
s : Llueve
r : Hace fro
rs
p : El tringulo es equiltero
q: El tringulo tiene sus tres lados iguales
p q
80
Ejemplos:
1.
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.
Ejemplo 1:
Ejemplo 2:
q:
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
U
P
x
Figura No. 2 Conjuncin
p ( x) q ( x)
y
y
y
y
q sea verdadera
q sea falsa
q sea verdadera
q sea falsa
83
Lgica Matemtica
Caso 1:
r s es Verdadera (V)
_________________________________________________________
Caso 2:
r s es Falsa (F)
_________________________________________________________
Caso 3:
r s es Falsa (F)
_________________________________________________________
Caso 4:
r s es Falsa (F).
A continuacin se analizan estas posibilidades para el caso propuesto en el ejemplo 1:
rs:
84
=V
=V
r s es Verdadera (V)
_______________________________________________________
Caso 2:
=V
=F
r s es Verdadera (V)
_______________________________________________________
Caso 3:
=F
=V
r s es Verdadera (V)
_______________________________________________________
Caso 4:
=F
=F
r s es Verdadera (V)
85
Lgica Matemtica
Podemos resumir estos resultados utilizando la siguiente tabla, llamada tabla de verdad de la
conjuncin:
Tabla No. 2 Tabla de verdad de la conjuncin
pq
V
V
F
F
V
F
V
F
V
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.
Ejemplo 1:
86
Ejemplo 2:
Ejemplo 3:
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:
U
= {personas que son Colombianas}
P(x) = x es una persona que vive en Bogot
Q(x) = x es una persona que vive en Barranquilla
p ( x) q ( x)
87
Lgica Matemtica
Figura No. 3
Disyuncin
y
y
y
y
q sea verdadera
q sea falsa
q sea verdadera
q sea falsa
Verdadera
Verdadera
2 es par
5 es impar
rs:
Verdadera (V)
2 es par o 5 es impar
_________________________________________________________
Caso 2: Cuando se afirma que 2 es par y 5 no es impar:
88
r:
s:
Verdadera
Falsa
2 es par
5 es no es impar
rs:
Verdadera (V)
2 es par o 5 no es impar
Falsa
Verdadera
2 no es par
5 es impar
rs:
Verdadera (V)
2 no es par o 5 es impar
_________________________________________________________
Caso 4: Cuando se afirma que 2 no es par y 5 no es impar:
r:
s:
Falsa
Falsa
2 no es par
5 no es impar
rs:
Falsa (F)
2 no es par o 5 no es impar
pq
V
V
F
F
V
F
V
F
V
V
V
F
89
Lgica Matemtica
1.8.3 La negacin ~
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta
no p simbolizada por: ~ p o por p
Ejemplo 1:
p:
p :
Ejemplo 2:
q:
~ q:
V
F
90
~p
F
V
p ( x)
~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 y q representan dos proposiciones, la expresin si p entonces q se simboliza as:
p q y se lee p implica q.
La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la
proposicin precedida por la expresin entonces, se llama consecuente o conclusin de
la implicacin. En la expresin p q , el antecedente es p y el consecuente es q.
Las proposiciones condicionales se pueden enunciar en nuestro lenguaje natural de diferentes
maneras, algunas son:
Si p entonces q
p slo si q
q si p
p es suficiente para q
q es necesaria para p
92
p:
q:
es un da soleado
hace calor
Caso 2:
Caso 3:
Caso 4:
De los casos planteados concluimos que la tabla de verdad para la implicacin toma los
siguientes valores:
Tabla No. 5 Tabla de vedad para el condicional
pq
V
V
F
F
V
F
V
F
V
F
V
V
93
Lgica Matemtica
1.8.5 El bicondicional
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin s y slo s.
Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye
un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
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 .
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin,
veamos:
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
Ejemplo 1:
94
Cmo determinar
bicondicional?
el
valor
de
verdad
de
la
proposicin
p:
q:
es un da soleado
hace calor
Caso 2:
Caso 3:
Caso 4:
95
Lgica Matemtica
expresin Si y slo si es un da soleado entonces hace calor. Por lo
tanto la proposicin compuesta ( p q ) es verdadera.
De los casos planteados concluimos que la tabla de verdad para la dobleimplicacin toma los
siguientes valores:
pq
V
V
F
F
V
F
V
F
V
F
F
V
96
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.
Las proposiciones se representan simblicamente mediante las letras p, q, r, s, t.
Conectivos lgicos: Son trminos que sirven para unir o enlazar proposiciones simples. Los
conectivos lgicos fundamentales son:
Lenguaje Natural
y
o
no
Smbolo
Nombre
Conjuncin
Disyuncin
Negacin
Clases de proposiciones
1. Simples o atmicas: oraciones con sentido completo que no utilizan conectivos
lgicos.
2. Compuestas o moleculares: Se obtienen combinando dos o ms proposiciones
simples mediante la utilizacin de los conectivos lgicos. Unin de dos o ms
proposiciones simples mediante trminos de enlace como o, y, sientonces, si y
slo si. Su valor de verdad depende de los valores que tomen las proposiciones que la
conforman.
3. Tablas de verdad para los conectivos lgicos:
Proposiciones
p
q
V
V
V
F
F
V
F
F
Negacin
F
F
V
V
F
V
F
V
pq
pq
pq
pq
V
F
F
F
V
V
V
F
V
F
V
V
V
F
F
V
97
Lgica Matemtica
LLeecccciinn N
Noo..55 TTaabbllaass ddee vveerrddaadd
( ~ ), 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:
98
p q
pq
p q
p q
Ejemplo 1:
Construir la tabla de verdad para la proposicin
Paso 1:
( p q )
p, q
Paso 2:
que p = V
y que
q=F
que p = V
que p = F
y que
y que
q =V
q =V
que p = F
y que
q=F
luego, las
Es decir que en el caso de tener dos (2) proposiciones simples, slo hay cuatro
(4) casos posibles:
V
V
F
F
F
V
V
F
99
Lgica Matemtica
Cuntos
casos
posibles
compuesta: ( pq) q?
tendremos
para
la
proposicin
p, q, r
Si lo analizamos detenidamente, hay dos posibilidades para la p (V, F), tambin
hay dos posibilidades para la q (V, F) y dos posibilidades para la r (V, F):
V
V
V
F
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
100
101
Lgica Matemtica
Veamos:
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
102
{ ( { (....) } ) }..
Paso 4:
( p q )
Paso 5:
Paso 6:
Paso 7:
V
V
F
F
V
F
V
F
pq
( p q )
pq
( p q )
V
V
F
F
V
F
V
F
V
F
F
F
F
V
V
V
Lgica Matemtica
Ejemplo 2:
Elaborar la tabla de verdad de la proposicin:
( p q) ( p q)
Al realizar la frmula proposicional encontramos que la tabla de verdad tendr cuatro (4)
casos posibles, posteriormente, se observa que la proposicin est conformada por dos
parntesis conectados por la disyuncin. De manera que debemos encontrar los valores de
verdad del parntesis p q y del parntesis p q , siguiendo el recorrido de adentro de los
parntesis hacia afuera.
Finalmente, haremos la conjuncin entre los parntesis:
( p q) ( p q)
pq
pq
( p q) ( p q)
V
V
F
F
V
F
V
F
V
V
V
F
V
F
F
F
V
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
104
q p
V
V
F
F
V
F
V
F
V
V
F
V
Ejemplo 4:
Elaborar la tabla de verdad de la proposicin:
( p q) r
Al realizar la frmula proposicional encontramos que la tabla de verdad tendr ocho (8) casos
posibles, posteriormente, se observa que la proposicin est conformada por un parntesis
conectado por un condicional. De manera que debemos encontrar los valores de verdad del
parntesis p q y de la proposicin r , siguiendo el recorrido de adentro de los parntesis
hacia afuera.
Finalmente, resolveremos para el conectivo principal:
pq
( p q) r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
F
F
V
F
V
F
V
F
V
V
105
Lgica Matemtica
Captulo: Tautologa
Objetivo general
El propsito de este captulo es brindar al estudiante elementos para
la clasificacin de una proposicin como tautolgica.
Objetivos especficos
CAPTULO 2
Identificar tautologas
106
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.
Veamos algunos ejemplos:
Ejemplo 1:
pq
( p q) p
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
V
107
Lgica Matemtica
Ejemplo 2:
Demostrar que la proposicin
pq
( p q ) p
( p q ) p q
V
V
F
F
V
F
V
F
V
V
V
F
F
F
V
V
F
F
V
F
V
V
V
V
108
Ejemplo 1:
Demostrar que las proposiciones
equivalentes:
pq
V
V
F
F
V
F
V
F
V
F
V
V
p q
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
109
Lgica Matemtica
pq
V
V
F
F
V
F
V
F
V
F
V
V
p q ( p q ) ( p q )
V
F
V
V
V
V
V
V
110
p p
V
V
( p )
p ( p )
V
F
F
V
V
F
V
V
p ( p )
111
Lgica Matemtica
Ejemplo 1:
Consideremos la proposicin simple:
: es de da,
luego:
( p )
: es de noche
: no es de noche
________________________________________________________________________________________________________________
Por lo tanto
( p )
= p
________________________________________
Ejemplo 2:
Consideremos la proposicin simple:
: el acusado es inocente
luego:
( p )
: es culpable
: el acusado no es culpable
__________________________
Por lo tanto
112
( p )
= p
2.3
pq
Implicacin contraria:
p ( q )
q p
q ( p )
Implicacin recproca:
Implicacin contrarrecproca:
Ejemplo 3:
Dadas las proposiciones
entonces:
p:
q:
Es un animal mamfero
Tiene pelo
Implicacin directa:
Implicacin contraria:
Implicacin recproca:
Implicacin contrarrecproca:
Ejemplo 4:
Teniendo en cuenta la
implicacin:
proposicin
Implicacin directa:
p q
Implicacin contraria:
p ( q )
q p
q p
Implicacin recproca:
Implicacin contrarrecproca:
113
Lgica Matemtica
p q ~p ~q
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
Directa
Recproca
Contraria o
Inversa
Contrarrecproca
o contraposicin
pq
q p
p ( q )
q ( p )
V
F
V
V
V
V
F
V
V
V
F
V
V
F
V
V
114
2.4
1. Idempotencia:
3. Asociativas:
4. Conmutativas:
5. Distributivas:
( p p) p
( p p) p
( p q) r p ( q r )
( p q) r p ( q r )
( p q) ( q p)
( p q) ( q p)
p ( q r ) ( p q) ( p r )
p ( q r ) ( p q) ( p r )
6. Identidad:
7. Complemento:
8. Leyes de D Morgan:
( p 0) p, ( p 1) 1
( p 0) 0, ( p 1) p
( p p ) 1, ( p p ) 0
( p ) p, 1 0, 0 1
( p q ) ( p q )
( p q ) ( p q )
Observa que estas leyes del lgebra de proposiciones estn formuladas por pares dada la
naturaleza dual del lgebra de proposiciones.
115
Lgica Matemtica
CAPTULO 3
116
Objetivos especficos
Identificar y clasificar las proposiciones categricas de un argumento
Diferenciar la cualidad y cantidad de una proposicin categrica en forma
estndar
Establecer el tipo de oposicin que se puede presentar entre dos
proposiciones categricas
Representar grficamente proposiciones categricas de forma estndar
3.1 Cuantificadores
3.1.1 Cuantificador universal y existencial
Existen especialmente en matemticas, expresiones que contienen variables tales como x, y,
z, etc., para las cuales su valor de verdad depende del valor que tome la variable.
Ejemplo
x+1=2
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 )
Ejemplo
(x = 1) / (2 x + 2 = 5)
________________________________________________________________
Ejemplo 1
( x
) / ( 2x 1 = 0)
En esta proposicin el conjunto universal esta formado por los nmeros reales y el dominio de
la variable es x = .
118
(x { 1 2}) / ( 2 x 1 = 0)
es verdadera.
Ejemplo 2
( x
Conjunto universal:
) /
(x
1 = 0)
(reales)
Ejemplo 3
( x
) /
(x
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.
Del anlisis de los ejemplos 2 y 3 se puede afirmar:
119
Lgica Matemtica
LLeecccciinn N
Noo..1122 P
Prrooppoossiicciioonneess ccaatteeggrriiccaass
120
121
Lgica Matemtica
El tipo especial se refiere a que las proposiciones pueden ser
universales (afirmativas o negativas) o
particulares (afirmativas o negativas)
Por lo tanto, se puede afirmar que hay cuatro formas estndar de proposiciones categricas:
Proposicin Categrica Universal Afirmativa
Proposicin Categrica Universal Negativa
Proposiciones categricas Afirmativa Particular
Proposiciones categricas Negativa Particular
Proposicin Categrica
Universal Afirmativa
Universal Negativa
Afirmativa Particular
Negativa Particular
Representacin
Representacin
Todo S es P
Ningn S es P
Algn S es P
Algn S no es P
122
LLeecccciinn N
Noo..1133 R
Reepprreesseennttaacciinn ddee llaass pprrooppoossiicciioonneess ccaatteeggrriiccaass
S
Clase S
Para diagramar la proposicin de que S no tiene miembros, o de que no hay S, se sombrea
todo el crculo que representa S, lo cual indica que no contiene nada, que es vaca:
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:
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
P
S
P
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:
SP = 0
Todo S es P
125
Lgica Matemtica
Ningn S es P, o, Ningn P es S simbolizadas por SP = 0 y PS = 0, respectivamente, la
representacin grfica en ambos casos es:
U
S
Ningn S es P, o,
Ningn P es S
SP = 0 y PS = 0,
P
x
Algn S es P o
Algn P es S
SP 0 ; PS 0 ;
126
U
S
P
x
Algn S no es P
S
P 0
U
S
Algn P no es S
P
S 0
127
Lgica Matemtica
128
P (personas
temerarias)
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.
Todas las proposiciones universales afirmativas se pueden escribir simblicamente as:
Todo S es P , donde S representa el sujeto y P el predicado.
P
teme
Conductores de automvil
Responsable
Ningn S es P
130
1. Estudiantes de secundaria y
2. Estudiantes que ingresan a la educacin superior
S
Estudiantes de secundaria
x
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
1. Nmeros reales y
2. Nmeros negativos
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.
Nuevamente, considerando las clases S y P podemos concluir:
Proposicin Categrica
Universal Afirmativa
Universal Negativa
Afirmativa Particular
Negativa Particular
132
Representacin
Representacin
Todo S es P
Ningn S es P
Algn S es P
Algn S no es P
Ejemplo 1
Las proposiciones
P: todos los jueces son abogados
Q: algunos jueces no son abogados
Son contradictorias porque son opuestas tanto en cantidad como en cualidad. La
proposicin P es universal afirmativa, mientras que la proposicin Q es particular
negativa.
133
Lgica Matemtica
Ejemplo 2
Las siguientes proposiciones tambin son contradictorias.
P: algunos nmeros reales son negativos. Es particular afirmativa
Q: todos los nmeros reales no son negativos. Es universal negativa
En este caso son opuestas en cantidad y en cualidad.
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.
Son contradictorias porque la proposicin P es falsa y esto implica que la proposicin Q
sea verdadera.
Ejemplo 4
Dadas las proposiciones
P: hoy es lunes
Q: hoy no es lunes.
Son contradictorias porque si P es verdadera automticamente Q ser falsa y lo
contrario.
134
Ejemplo 5
Considerando las proposiciones
P:
Q:
Ejemplo 6
Dadas las proposiciones:
P:
Q:
R:
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
Ejemplo 1
Las proposiciones
P: algunos enteros son positivos
Q: algunos enteros son negativos
Son subcontrarias debido a que ambas son verdaderas.
En forma general se afirma que dos proposiciones particulares que tienen el
mismo trmino sujeto y trmino predicado pero diferente cualidad son
subcontrarias
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
Ejemplo 1
Ejemplo 2
137
Lgica Matemtica
Recordemos:
Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la
otra, es decir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez
falsas. Es claro que dos proposiciones categricas en forma estndar que tienen el
mismo trmino sujeto y trmino predicado, pero son diferentes tanto en cantidad
como en cualidad, son contradictorias entre s.
Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas
verdaderas, aunque ambas puedan ser falsas. En forma general se puede decir que
dos proposiciones universales que tienen los mismos sujetos y predicados pero
difieren en cualidad son contrarias.
Se dice que dos proposiciones son SUBCONTRARIAS si no pueden ser ambas
falsas pero s ambas verdaderas. En forma general se afirma que dos proposiciones
particulares que tienen el mismo trmino sujeto y trmino predicado pero diferente
cualidad son subcontrarias.
138
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:
140
Ejercicio Propuesto 2:
No son proposiciones
141
Lgica Matemtica
CASO 1:
CASO 2:
CASO 3:
CASO 4:
142
r=
s=
CASO 1:
CASO 2:
CASO 3:
CASO 4:
Mi conclusin:
143
Lgica Matemtica
Ejercicio Propuesto 5:
144
Negacin de la premisa
Ejercicio Propuesto 6:
Manera 1
Manera 2
Manera 3
Manera 4
Manera 5
145
Lgica Matemtica
Ejercicio Propuesto 7:
Mi conclusin:
Ejercicio Propuesto 8:
146
V
V
F
F
V
F
V
F
pq
q p
( q p) ( p q)
pq
Ejercicio Propuesto 9: Determinar los posibles valores de verdad para las proposiciones:
1) p q ,
5) ( p q ) ,
2) p q ,
6)
3) p q
4) p p
( p q ) ( p q ) ,
7) ( p q ) ( r s )
1)
2)
3)
4)
5)
6)
147
Lgica Matemtica
7)
( p q ) ( q r ) ( p r )
es una tautologa:
p q r
V
V
V
V
F
F
F
F
148
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
pq
qr
pr
( p q) ( q r )
( p q ) ( q r ) ( p r )
{( p q ) ( r s ) ( p r )} ( q s )
es una tautologa:
p q y la proposicin p q
149
Lgica Matemtica
150
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:
I.
Ejemplo:
Proposicin compuesta: Lograr aprender si estudio y practico
Proposiciones simples: p = estudio
q = practico
r = aprendo
Proposicin compuesta identificando los conectivos lgicos:
Si estudio y practico, entonces aprendo
Antes de intentar expresar la proposicin compuesta en lenguaje simblico, es
necesario identificar el antecedente y el consecuente del condicional, es decir,
identificar cul es la causa y cual el efecto.
En este caso el efecto es aprender y la causa estudiar y practicar, por lo
tanto:
La proposicin compuesta en lenguaje simblico es:
( p q) r
151
Lgica Matemtica
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
Figura No. 5
152
U
P
Q
= {Colombianos}
= {personas que juegan ftbol}
= {personas que son de Santamarta}
U
P
Juan
Diego
Ana
Pedro
Camilo
Q
Santiago
Ejemplo:
Personas que Juegan ftbol y son Colombianas:
153
Lgica Matemtica
http://www.youtube.co
Video: Ejemplo de uso del generador de tablas
de verdad
m/watch?v=Eu5zOyPLCo&feature=player_
embedded
154
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
Captulo 4: Razonamientos lgicos
Captulo 5: Inferencias lgicas
Captulo 6: Argumentos Inductivos
156
CAPTULO 4
Objetivos especficos
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.
Si la conclusin es correcta significa que las premisas contienen la informacin necesaria y
suficiente para establecer la conclusin y por lo tanto se puede afirmar que el razonamiento
es correcto, de lo contrario, se dir que es incorrecto.
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
A continuacin aprenderemos a identificar los razonamientos deductivo e inductivo:
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C.
1999
10
158
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
160
11
161
Lgica Matemtica
Un tema que desarrollamos en la segunda unidad del curso de lgica matemtica, es el de la
introduccin al estudio de la manera como los seres humanos elaboramos los diferentes
razonamientos lgicos.
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:
Algunos estudiantes de psicologa matricularon el curso de lgica
Todos los estudiantes de psicologa matricularon competencias
Estas proposiciones categricas que clasificamos como particular afirmativa y universal
afirmativa son las herramientas que permitirn construir los razonamientos lgicos.
Tambin constituyen los criterios para determinar si un enunciado es o no un enunciado
cientfico
En la segunda unidad iniciamos por estudiar los temas de deduccin e induccin. Ambas
formas de los razonamientos lgicos.
Reforcemos en cmo identificar estos conceptos mediante un ejemplo:
En el siguiente ejercicio encontrars que de una o varias afirmaciones se llega a una
conclusin. Analiza las diferencias existentes entre las dos formas de razonamiento que a
continuacin se presentan:
Primera forma de razonamiento:
Todos los padres Jvenes son ms tolerantes con sus hijos que los padres mayores;
Juan es un padre joven, luego es ms tolerante con su hijo Daniel, que Diego con su
hijo Juan
Segunda forma de razonamiento:
Juan es un padre joven y es tolerante con su hijo Daniel, Camilo es un padre joven y
es tolerante con su hija Marisol, Mateo es un padre joven y es tolerante con su hijo
Diego, de donde, podemos concluir que Todos los padres Jvenes son tolerantes con
sus hijos.
162
163
Lgica Matemtica
En otras palabras, si aceptamos que un razonamiento es vlido, si se dan las premisas, se
tiene que dar la conclusin.
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.
Consideremos el siguiente argumento:
Todos los programas de la UNAD tienen el curso de lgica
Psicologa es un programa de la UNAD
Por lo tanto, en el programa de psicologa de la Unad se estudia el curso de
lgica.
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
165
Lgica Matemtica
Identificando a S como sujeto y a P como predicado, estas formas de proposicin categrica
corresponden a:
Todo S es P
Ningn S es P
Algunos S son P
Algunos S no son P
Las proposiciones categricas estudiadas, permiten formar lo que denominamos un "silogismo
categrico", el cual est compuesto precisamente de tres proposiciones categricas:
Dos premisas y una conclusin
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:
Premisa mayor, en ella se encuentra el trmino mayor, que es el predicado de la
conclusin, y se representa por la letra P.
Premisa menor, en ella se encuentra el trmino menor, que es el sujeto de la conclusin, y
se representa con la letra S.
Entre ambas premisas se realiza la comparacin entre los trminos S y P con respecto al
trmino Medio, que se representa como M.
La conclusin:En ella se establece la relacin entre el trmino Sujeto S, y el trmino
Predicado P.
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
Por ejemplo:
Al descubrir un nuevo planeta X con las caractersticas comunes con la tierra de
tener agua en forma lquida, tener atmsfera rica en oxgeno y un ncleo activo.
Es probable que la caracterstica de la tierra "tener vida" se cumpla tambin en
este.
167
Lgica Matemtica
Digamos entonces que un silogismo es un argumento deductivo en el que se infiere una
conclusin a partir de dos premisas. Un silogismo categrico es un argumento deductivo
consistente en tres proposiciones categricas que contienen exactamente tres trminos, cada
uno de los cuales slo aparece en dos de las proposiciones que lo constituyen. Dos de las
proposiciones reciben el nombre de premisas y la otra se llama conclusin.
Forma estndar de un silogismo categrico
Se dice que un silogismo categrico est en forma estndar cuando satisface las siguientes
condiciones:
1. Las premisas y conclusin son proposiciones categricas que conservan el siguiente
orden:
1. la premisa mayor se enuncia primero, luego
2. la premisa menor y
3. al final la conclusin.
2. La conclusin de un silogismo de forma estndar es una proposicin de forma estndar
que contiene dos de los tres trminos del silogismo.
3. La premisa mayor es aquella que contiene el trmino mayor y este es el que aparece
como predicado de la conclusin.
4. La premisa menor es aquella que contiene el trmino menor, que es el correspondiente
al sujeto 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
Se puede observar claramente que el argumento deductivo es un silogismo
categrico porque consiste en tres proposiciones categricas (dos premisas y
una conclusin) que contienen exactamente tres trminos (hroe, cobarde y
soldado).
168
Ejemplo 2
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin,
establezca la naturaleza del silogismo y verifique s est en forma estndar.
Ningn barco de guerra es un navo comercial, as, ningn submarino
nuclear es un navo comercial, puesto que todos los submarinos nucleares
son barcos de guerra.
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.
La conclusin se identifica como la proposicin:
Ningn submarino nuclear es un navo comercial.
Y las premisas como las proposiciones:
Ningn barco de guerra es un navo comercial y
Todos los submarinos nucleares son barcos de guerra.
El predicado de la conclusin es el trmino navo comercial, el cual se constituye en el
trmino mayor y por consiguiente la premisa mayor es, ningn barco de guerra es un
navo comercial.
169
Lgica Matemtica
El sujeto de la conclusin es submarino nuclear, el cual se constituye en el trmino
menor y por consiguiente la premisa menor es, todos los submarinos nucleares son
barcos de guerra.
El anlisis anterior permite afirmar que es un silogismo categrico en forma estndar el
cual se puede escribir as:
Premisa mayor:
Premisa menor:
Conclusin:
Ejemplo 3
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin,
establecer la naturaleza del silogismo y verificar si est en forma estndar.
Todos los satlites artificiales son descubrimientos cientficos importantes; por lo
tanto, algunos descubrimientos cientficos importantes no son inventos
norteamericanos puesto que algunos satlites artificiales no son
norteamericanos.
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.
Las premisas son:
Todos los satlites artificiales son descubrimientos cientficos importantes, algunos
satlites artificiales no son norteamericanos.
La conclusin
conclusin es:
Algunos descubrimientos cientficos importantes no son inventos norteamericanos.
El predicado de la conclusin es el trmino invento norteamericano, el cual se
constituye en el trmino mayor y por consiguiente, la premisa mayor es, algunos
satlites artificiales no son norteamericanos.
El sujeto de la conclusin es descubrimientos cientficos, el cual se constituye en el
trmino menor y por consiguiente la premisa menor es, todos los satlites artificiales
son descubrimientos cientficos.
170
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
La conclusin: Contiene 2 de los 3 trminos de la siguiente manera:
Para identificar cual es la premisa mayor busca el predicado de la conclusin y
observa en cul de las dos premisas aparece este.
Trmino Mayor
Predicado de la conclusin
Trmino menor
Sujeto de la conclusin
171
Lgica Matemtica
LLeecccciinn N
Noo..1199 V
Vaalliiddeezz ddee uunn aarrgguum
meennttoo
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.
Validez o invalidez de un argumento
Para probar la validez o invalidez de un argumento, se utiliza un mtodo basado en el hecho
de que stas son caractersticas puramente formales de los argumentos, es decir, que dos
argumentos que tienen exactamente la misma forma; son
vlidos o invlidos,
independientemente de las diferencias del tema que traten.
Especficamente, para probar la invalidez de un argumento, basta con formular otro
argumento que tenga exactamente la misma forma y tenga premisas verdaderas y conclusin
falsa
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
LLeecccciinn N
Noo..2200 P
Prruueebbaa ffoorrm
maall ddee vvaalliiddeezz
Ejemplo 1
Probar la invalidez del siguiente argumento por el mtodo de asignar valores de
verdad:
1.
2.
3.
qr
pr
q p
173
Lgica Matemtica
p q r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
qr
pr
q p
V
F
V
V
V
F
V
V
V
F
V
F
V
V
V
V
V
V
V
V
F
F
V
V
Claramente se observa que efectivamente hay una caso para el cual las
premisas son verdaderas y la conclusin es falsa:
p q r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
Premisa 1
Premisa 1
Conclusin
V
F
V
V
V
F
V
V
V
F
V
F
V
V
V
V
V
V
V
V
F
F
V
V
174
PREMISAS VERDADERAS
q
f r
pr
verdadero
verdadero
CONCLUSIN
FALSA
f p
falso
175
Lgica Matemtica
Argumento Invlido
Un argumento se prueba invlido mostrando que por lo menos en un rengln de su tabla de
verdad todas las premisas son verdaderas pero su conclusin es falsa.
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.
Tomando el siguiente lenguaje simblico:
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
Se pueden establecer las siguientes premisas:
2.
( p q) (r s)
( q p ) t ( t s )
3.
4.
pq
s
1.
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
________________________
F
F
V
F
F
p
q
r
t
s
_______________________
F
F
F
F
F
176
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.
Tomando el siguiente lenguaje simblico:
p: la inflacin contina
q: las tasas de inters permanecen altas
r: descender la actividad comercial
s: el desempleo aumenta
Se pueden establecer las siguientes premisas:
1. p q
2. p ( q r )
3. q ( r s )
/ s p
pq
p (q r )
q (r s)
s p
F F F V
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
CAPTULO 5
Objetivos especficos
178
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
Ejemplo 1
pq
p
q
Se lee : si p entonces q
Se lee : ocurre p
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
Cmo leer la regla de inferencia?
pq
q
q
Si p entonces q
y p (y se da p, y ocurre p)
Entonces q (en conclusin q)
Es decir que
( p q ) p q
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?
Tabla de verdad para la inferencia lgica MPP:
p
F
F
V
V
182
pq
( p q) p
( p q ) p q
F
V
F
V
V
V
F
V
F
F
F
V
V
V
V
V
Ejemplo 2
Si Julin estudia Ingeniera de sistemas a distancia, entonces
l estudia en la UNAD.
Julin estudia Ingeniera de sistemas a distancia.
Julin estudia en la UNAD.
Premisa 1:
Premisa 2:
Conclusin:
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:
Premisa 2:
pq
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:
184
5.1.2
Se lee : si p entonces q
q
p
Se lee : ocurre ~q
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
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.
Premisa 1:
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
Premisa 4:
Demostrar c.
De la premisa 2 y de la premisa 1,
( a b ) b se
puede
De las premisas 3 y 4,
( a c ) a
186
se puede concluir la
5.1.3
Se lee : si p entonces q
Se lee : si q entonces r
Se lee : de donde
si p entonces r
( p q ) ( q r ) ( p r )
Ejemplo 1
Silogismo Hipottico (S: H)
Si llueve hace fro
Si hace fro llevo un abrigo
luego si llueve llevo un abrigo
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:
Sean las proposiciones
p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p q
Premisa 2. q r
Conclusin. p r
187
Lgica Matemtica
Ejemplo 3
Premisa 1.
Premisa 2.
Conclusin.
q p
p r
qr
Ejemplo 4
Premisa 1.
Premisa 2.
Conclusin.
(s t ) (r q)
( r q ) p
( 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
________________________________________________________
Premisa 4: De las premisas 2 y 3 se concluye p r por SH
Premisa 5: De las premisas 1 y 5 se concluye p por MTT.
188
( p q ) p q
( 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:
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos
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
(s t )
Premisa 2:
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
___________________________________________________________
Premisa 4: De las premisas 1 y 2 se puede concluir ~ q por MTP
Premisa 5: De las premisas 3 y 4 se puede concluir
que es equivalente a
190
( r s ) por
MTT,
5.1.5
( p q) (r s)
pr
q s
Ejemplo:
5.1.6
Absorcin (Abs)
pq
p (q p)
Ejemplo:
Absorcin (Abs.)
Si estudio aprendo
Estudio, luego aprendo y estudio
5.1.7
Simplificacin (Simp.)
pq
p
Ejemplo:
Simplificacin (Simp.)
Estudio y aprendo
Luego, estudio
191
Lgica Matemtica
Ejemplo:
Conjuncin (Conj.)
Estudio
Trabajo
Luego, etudio y trabajo
Ejemplo:
Adicin (Ad.)
Estudio
Luego, etudio trabajo
192
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.
Para analizar y construir la prueba de validez, es necesario utilizar un lenguaje
simblico que permita simplificar los enunciados, as:
Identificacin de las premisas:
G
H
J
K
= Gloria gana
= Hctor gana
= Jorge pierde
= Kelly pierde
(G H ) ( J K )
G
2.
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.
5. J
193
Lgica Matemtica
Ejemplo 2
Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si sigue lloviendo y
el ro crece, entonces el puente ser arrastrado por las aguas. Si la continuacin
de la lluvia hace que el puente sea arrastrado por las aguas, entonces no ser
suficiente un solo camino para toda la ciudad. O bien un solo camino es
suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por
tanto, los ingenieros han cometido un error.
Utilizando el siguiente lenguaje simblico:
C:
R:
P:
S:
E:
contina lloviendo
el ro crece
el puente es arrastrado por las aguas
un solo camino es suficiente para toda la ciudad
los ingenieros han cometido un error
2.
CR
(C R ) P
3.
(C P ) S
4.
SE
/E
__________________________________
1.
5.
6.
7.
8.
194
C (C R )
CP
S
E
1, Abs.
5,2, S. H.
3,6, M. P.
4,7, D. C.
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.
Tomando el siguiente lenguaje formal:
p: se orienta por su sentido del deber
q: renuncia al goce de placeres
r: se gua por su deseo de placer
s: olvidar su deber
Las premisas quedan as:
1. p q
2. r s
3. p r
4. p s
5. r q
q s
__________________________________
6.
7.
8.
9.
10.
11.
12.
13.
14.
q r
r p
q p
q s
s r
r p
s p
s q
q s
5 MTT
3 SD
6, 7 SH
4,8 SH
2 MTT
7,10 SH
10, 11 SH
1, 12 SH
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.
Utilizando el siguiente lenguaje formal:
p: un objeto flota en el agua
q: es menos denso que el agua
r: se puede caminar sobre el agua
s: puede desplazar una cantidad de agua igual a su propio peso.
Las premisas en forma simblica son:
1.
2.
3.
4.
( p q) r
r
qs
s p pq
196
pq
q p
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.
Los principales tipos de demostracin son:
Ejemplo 1.
Dadas las premisas:
Concluir :
1.
2.
t.
p q
rq
p r
_______________________________________________________________
Demostracin:
Puesto que r q es equivalente a q r , por MTT
se tiene la premisa:
3. q r , ahora, de las premisas 1 y 3 se puede
concluir t, es decir, como p q y q r ,
entonces, p r . Por SH
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
Hay que demostrar que x2 = (2n + 1)2 es impar.
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:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar,
entonces x2 es impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
198
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:
Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la
forma P(n), se puede demostrar la verdad de esta proposicin estableciendo los
siguientes pasos:
I.
II.
III.
199
Lgica Matemtica
Ejemplo 3.
Demostrar que para todo entero 1, se verifica que:
P(n): 1+2++n = n (n+1) / 2
I.
II.
III.
resolviendo la suma
Factorizando:
= k2 +3k +2
2
= (k + 1) (k + 2) / 2
200
LLeecccciinn N
Noo..2255 LLaa rreeffuuttaacciinn
(2n + 1)2 = 2m
4n + 4n + 1 = 2m
2
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.
Ve practicano:
201
Lgica Matemtica
Objetivos especficos
CAPTULO 6
202
----observacin
----observacin y experiencia las bases de la induccin----induccin----El mtodo inductivo es un tipo de razonamiento que se deriva de la observacin y de la
experiencia, lo cual lo hace totalmente diferente al mtodo deductivo (estudiado en el captulo
anterior) y se basa fundamentalmente en dos aspectos:
1. En la semejanza que hay entre los objetos.
2. En suponer que un suceso puede volver a ocurrir
condiciones similares ha sucedido.
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.
El problema lgico de cmo justificar ese tipo de razonamientos se llama tradicionalmente el
problema de la induccin las razones de este problema son:
1. Como la conclusin es general, tendr una aplicacin ms amplia de la que cualquier
conjunto de premisas pueda garantizar. (---La conclusin es ms general que las
premisas)---2. La verdad de la conclusin no puede nunca ser garantizada por la verdad de las
premisas porque siempre puede presentarse un nuevo caso que convierta en falsa la
conclusin.---(En algn momento se puede llegar a dar un caso que convierta en
falsa la conclusin)---.
Lo anterior permite afirmar que la induccin es deficiente con respecto al modelo deductivo,
visto como procedimiento de descubrimiento y como procedimiento de confirmacin.
De los argumentos inductivos el que se usa con mayor frecuencia es el analgico.
204
LLeecccciinn N
Noo..2288 LLaa aannaallooggaa
6.1
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.
El uso de analogas en la descripcin y la explicacin no es igual que su uso en la
argumentacin, aunque en algunos casos puede no resultar fcil decidir cul uso se pretende
hacer.
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
Los escritores JHON DOLLARD y NEAL E. MILLER, en su libro Personalidad y
psicoterapia afirman:
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 .
En este prrafo, el argumento analgico es: Si la presin de los padres y de la
escuela no proporcionara una motivacin, habra un aprendizaje escaso de las
matemticas. La analoga se basa en la semejanza. OBSERVACIN-
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
En este caso el argumento analgico se fundamenta en la EXPERIENCIA,
tendiendo en cuenta que en condiciones similares ya sucedi.
206
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.
6.1.1.2
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
LLeecccciinn N
Noo..3300 A
Annaallooggaa rreeffuuttaaddoorraa
Ejemplo 6
El siguiente texto muestra una analoga refutadora.
El seor Clifford A. Wrigth afirma que Israel no es una democracia porque
otorga al judasmo una posicin especial dentro de la Ley. Realmente es as?
La Ley britnica contra la blasfemia protege solamente a las creencias de los
cristianos. Esas leyes no vician los reclamos britnicos que es un pas
democrtico, aunque se puede argir que en virtud de ellos su democracia es
menos perfecta. Israel tiene sufragio universal, un sistema multipartidista y una
prensa libre. Para todos, menos para los ciegos partisanos, esto significa que es
una democracia.
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:
Primera forma de razonamiento:
Todos los padres Jvenes son ms tolerantes con sus hijos que los padres mayores;
Juan es un padre joven, luego es ms tolerante con su hijo Daniel, que Diego con su
hijo Juan
Segunda forma de razonamiento:
Juan es un padre joven y es tolerante con su hijo Daniel, Camilo es un padre joven y
es tolerante con su hija Marisol, Mateo es un padre joven y es tolerante con su hijo
Diego, de donde, podemos concluir que Todos los padres Jvenes son tolerantes con
sus hijos.
Posteriormente plantea dos ejemplos anlogos a cada forma de razonamiento.
2.
( p q) (r s)
( q p ) t ( t s )
3.
4.
pq
s
1.
210
/ s p
( p q ) p q
Ejercicio Propuesto 5: Construye la tabla de verdad para el siguiente razonamiento y
analiza su validez, paralelamente identifica la ley de inferencia
relacionada y plantea un ejemplo asociado a tu programa de
estudio:
( p q ) p q
Ejercicio Propuesto 6: Construye la tabla de verdad para el siguiente razonamiento y
analiza su validez, paralelamente identifica la ley de inferencia
relacionada y plantea un ejemplo asociado a tu programa de
estudio:
( p q ) q p
( p q ) ( q r ) ( p r )
211
Lgica Matemtica
(s t ) (r q)
( r q ) p
( 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.
212
Lgica Matemtica
UNIDAD 1
214
215
Lgica Matemtica
Reconocimiento:
Ejercicios de conjuntos (introduccin)(swf con audio)
-Video 1: ejercicio de conjuntos 1 (swf con audio)
-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)
-Video 12: Ejercicio de conjuntos 3 (video-zip-avi)(descomprimir primero)
UNIDAD 2
Audio : Hablemos sobre las leyes de inferencia (audio-mp3)
216
217
Lgica Matemtica
218
219