Академический Документы
Профессиональный Документы
Культура Документы
Objetivo general
Comprender y usar los conceptos fundamentales de la teora de conjuntos, hacia la
lgicas en diferentes contextos estableciendo asimilaciones con el lenguaje natural hacia la solucin de algunas situaciones
problemas.
Objetivos especficos
1. Identificar las relaciones entre conjuntos y sus elementos.
2. Distinguir las diferentes clases de conjuntos.
3. Representar grficamente los conjuntos.
4. Realizar operaciones entre conjuntos.
5. Resolver algunas situaciones problemas usando teora de conjuntos.
Historia
El concepto de conjunto como objeto abstracto no comenz a emplearse en matemticas hasta el siglo XIX, a medida que se
despejaban las dudas sobre la nocin de infinito. Los trabajos de Bernard Bolzano y Bernhard Riemann ya contenan ideas
relacionadas con una visin conjuntista de la matemtica. Las contribuciones de Richard Dedekind al lgebra estaban
formuladas en trminos claramente conjuntistas, que an prevalecen en la matemtica moderna: relaciones de
equivalencia, particiones, homomorfismos, etc., y l mismo explicit las hiptesis y operaciones relativas a conjuntos que
necesit en su trabajo.
La teora de conjuntos como disciplina independiente se atribuye usualmente a George Cantor. Comenzando con sus
investigaciones sobre conjuntos numricos, desarroll un estudio sobre los conjuntos infinitos y sus propiedades. La
influencia de Dedekind y Cantor empez a ser determinante a finales del siglo XIX, en el proceso de axiomatizacin de la
matemtica, en el que todos los objetos matemticos, como los nmeros, las funciones y las diversas estructuras, fueron
construidos en base a los conjuntos.
Definicin y generalidades
Los conjuntos estn relacionados con el proceso de contar y por lo tanto permiten resolver problemas que involucran el
concepto de cantidad. Se define un conjunto como una coleccin de objetos, smbolos o entidades bien definidas, que
reciben el nombre de elementos del conjunto. Los conjuntos generalmente se representan con letras maysculas y sus
elementos con letras minsculas.
Ejemplo:
El conjunto de vocales V = {a, e, i, o, u}
El conjunto de los primeros cinco nmeros impares N = {1, 3, 5, 7, 9, 11}
Una clasificacin de los animales desde la biologa A = {terrestres, acuticos, voladores, anfibios}
Representacin de conjuntos
Los conjuntos se pueden representar de bsicamente de tres formas:
Por extensin: cuando nombramos cada uno de los elementos del conjunto.
H = {len, tigre, pantera, jaguar, linces, gatos, pumas}
R = {ceclidos , salamandras, sapos y ranas}
Por comprensin: cuando se nombra el conjunto de acuerdo a una caracterstica comn de sus elementos. Se puede escribir
de varias maneras:
V = {vocales}, V = {x/x es vocal}, V = {x: x es vocal} (donde / y : se leen como tales que)
N = {nmeros naturales impares menores que e iguales a 11}, N = {x/ 0<x<12, x N y x es impar}
H = {felinos}, H = {x:x es felino}
R = {animales anfibios}, R = {x/x es animal anfibio}
Estas dos representaciones descritas anteriormente se les llama tambin formas de determinar un conjunto (por extensin y
por comprensin).
Representacin grfica: Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la
utilizacin de esquemas grficos llamados crculos de Euler o diagramas de Venn. Estos esquemas estn
compuestos por una regin cerrada del plano (generalmente un rectngulo), la cual representa el conjunto universal, y por
uno o varios crculos que representan los conjuntos a graficar.
Para indicar que un elemento es un miembro de un conjunto, se utiliza el smbolo (se lee pertenece a)
y para
indicar que no est en el conjunto se utiliza el smbolo (se lee no pertenece a).
a, e, i,
o, u
1, 3, 5,
7, 9, 11
len, tigre,
pantera,
jaguar,
linces, gatos,
pumas
9N
se lee 9 pertenece al conjunto N, tambin se puede leer como: 9 es un elemento del conjunto N
Jaguar H
mV
4N
Perro H
La segunda se da cuando queremos relacionar un conjunto con otro conjunto, se habla de una relacin de contenencia y
para esta se usa la notacin , cuando se desea decir que un conjunto no es parte de otro se usa la notacin . Como
ejemplos de esta relacin tenemos:
Dado los conjuntos: D = {x / x es letra del abecedario}, V = {x: x es vocal}, C = {consonantes}, Z = {x: x
es par, x N}, P = {2, 4, 6}, N = {x/ 0<x<12, x N y x es impar}, E = {Nmeros enteros}, entonces:
VD
CD
pE
El conjunto que tiene como elementos el 2, 4, 6 est contenido en el conjunto de nmeros enteros.
Zp
El conjunto de nmeros naturales pares no est contenido en el conjunto que tiene como elementos 2, 4,6.
EN
El conjunto de nmeros enteros no est contenido en el conjunto de nmeros impares entre cero y doce.
CV
Esta relacin la podemos leer en el sentido contrario, por ejemplo en el ltimo caso podemos decir que el conjunto de
vocales no contiene al conjunto de consonantes.
Clases de conjuntos
De acuerdo a la cantidad de elementos que posea un conjunto, este se puede clasificar como:
Conjuntos Infinitos: son aquellos que no se pueden expresar por extensin.
Ejemplo: S = {x/ 0 x < 9, x R}
Z = {x: x es par, x N}
As en el primer ejemplo vemos los nmeros reales que pertenecen al conjunto S en el intervalo [0,9) y en el segundo
ejemplo el conjunto de los nmeros naturales que pertenecen a Z.
Conjuntos Finitos: son aquellos cuyos elementos son contables y tiene fin el conteo.
Ejemplo: V = {x
/ x es vocal}, D = {x
En estos dos conjuntos es posible hacer el conteo total de los elementos que posee cada uno.
Otros conjuntos
Conjunto vaco: Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as: , {}
El conjunto vacio forma parte de cualquier conjunto, por lo cual se puede afirmar que: El conjunto
vaco es un
U=V
a, e, i
o, u
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 Referencial.
A = {x N / x es primo} sus elementos son el conjunto de los nmeros primos naturales y un conjunto referencial viene
a ser el conjunto de los nmeros naturales.
Conjunto de partes o conjuntos de conjuntos: Si A es un conjunto, el conjunto de partes de A, escrito como P(A) esta
formado por todos los subconjuntos que se pueden formar del conjunto A.
Ejemplo:
Si A = {1, 3, 5}, entonces el conjunto de partes de A esta formado por los siguientes subconjuntos:
P (A) = {, {1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}}.
Teorema: Si un conjunto (A) tiene n elementos entonces el conjunto partes de A, P(A) tiene 2n subconjuntos.
El nmero de elementos del conjunto P(A) depende del nmero de elementos de A; en el ejemplo, si A tiene 4 elementos
P(A) tiene 16 = 24 elementos, si A tiene 2 elementos P(A) tiene 4 = 22 elementos en general, si A tiene n- elementos se
pueden formar 2n subconjuntos del conjunto A, que es lo que nos anuncia el teorema.
El conjunto vaco est en todo conjunto y este caso no es la excepcin, por esta razn tambin est en P(A). Adems, cabe
anotar que los elementos del conjunto A son a su vez conjuntos, por lo que se dice que el conjunto P(A) constituye una
familia de conjuntos.
Ejemplo. Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos elementos de B son
conjuntos y otros no.
Para que
Si A = {x
x es dgito par} y B = {x
x es dgito}, claramente A
subconjunto de B.
Un resultado muy til e importante acerca de la contenencia entre conjuntos es el siguiente: Si A es un
subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto de C; simblicamente este enunciado se
escribe as: Si A B
B C, entonces,
AC
es igual al conjunto B
elementos, es decir, si todos los elementos de A pertenecen a B y si todos los elementos de B pertenecen al
conjunto A. La igualdad entre conjuntos se simboliza de la siguiente forma: A = B si y s o l o s i A B y B A
Ejemplos:
1.
2.
son completamente diferentes (no tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.
Ejemplo: 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.
Subconjunto propio: Todo conjunto es subconjunto de s mismo, es decir, A A (con A un conjunto cualquiera), si
ese subconjunto se llama B, entonces se puede afirmar que B es un subconjunto propio de A, este hecho se simboliza as:
B A (se lee B est contenido o es igual al conjunto A)
Ejemplos:
1.
Al considerar los conjuntos A = {x / x es vocal} y B = {a, e, i, o, u}, se puede afirmar que A = B, en particular
se observa que A
propio de A.
2.
Los conjuntos A = {1, 2, 3}, B = {1, 3}, C = {0, 2} y D = {1} son todos subconjuntos del conjunto M =
{0, 1, 2, 3}, pero ninguno es un subconjunto propio de M, ya que con ninguno se puede establecer alguna de
las relaciones siguientes: A M, B M, C M,
D M
A
1, 2,
3, 4
B
5, 6,
7
B
1, 3,
5,
8, 10,
En la figura de la izquierda la unin corresponde a la parte sombreada. Si A = {1, 3, 5, 7, 9} y B = {7, 8, 9, 10} entonces A
B = {1, 3, 5, 7, 8, 9, 10}
Caso 3. Que un conjunto este contenido en el otro.
1, 3,
B 7,
5,
AB
= {1, 3, 5, 7, 8}
Interseccin: Se define la interseccin entre dos conjuntos A
y B
comunes entre dos o ms conjuntos o sea, todos los elementos pertenecen simultneamente al conjunto A y al conjunto B.
Matemticamente la interseccin se expresa como A B = {x / x A y x B}
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (Conjuntos disyuntos)
1, 3, 5,
6
7, 8, 9,
10
A B = {}, dado que no hay elementos en comn. Se puede observar que cuando dos conjuntos son
diferentes, su interseccin es vaca y los conjuntos se llaman disyuntos, como ya se haba mencionado.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.
A
1, 3,
B
7 8,
10, 9
5, 6
9
En la figura de la izquierda la interseccin corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 10} y B = {7, 8, 9, 10}
entonces A B = {7, 10}, dado que el 7 y el 10 son elementos comunes.
Caso 3. Que un conjunto este contenido en el otro.
B
1, 3
7 8,
10, 9
5, 6
9
En la figura de la izquierda la interseccin corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 8, 9, 10} y B = {7, 8, 9,
10} entonces A B = {7, 8, 9, 10} = B, dado que todo B son los elementos comunes.
Diferencia: Se define como los elementos no comunes entre dos o ms conjuntos. A menos B, es el
conjunto formado por los elementos que estn en el conjunto A pero no en el B. matemticamente Si
A y B son dos conjuntos no vacos, entonces: A - B = {x / x A y x B}.
Caso 1. Que los conjuntos no tengan ningn elemento en comn.
1, 3, 5,
6
7, 8, 9,
10
En la figura de la izquierda la diferencia corresponde a la parte sombreada. Si A = {1, 3, 5, 6} y B = {7, 8, 9, 10} entonces
A - B = {1, 3, 5, 6} = A, dado que son los elementos del conjunto universal que est A y no estn en B.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.
A
1, 3,
B
7 8,
10, 9
5, 6
9
En la figura de la izquierda la diferencia corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 10} y B = {7, 8, 9, 10}
entonces A - B = {1, 3, 5, 6}, dado que son los elementos no comunes que solo estn en A.
Caso 3. Que un conjunto este contenido en el otro.
B
1, 3
5, 6
7 8,
10, 9
9
En la figura de la izquierda la diferencia corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 8, 9, 10} y B = {7, 8, 9, 10}
entonces A - B = {1, 3, 5, 6}, dado que son los elementos que solo estn en A.
Diferencia simtrica: Dados dos conjuntos no vacos A y B, se define la diferencia simtrica A B, como el conjunto
formado por los elementos no comunes entre los dos conjuntos. Elementos que pertenecen al conjunto A o al conjunto B,
pero no pertenecen simultneamente a ambos conjuntos. Matemticamente A B = {x/ x [(A B) (A B)]}.
Caso 1. Que los conjuntos no tengan ningn elemento en comn.
1, 3, 5,
6
7, 8, 9,
10
En la figura de la izquierda la diferencia simtrica corresponde a la parte sombreada. Si A = {1, 3, 5, 6} y B = {7, 8, 9, 10}
entonces A B = {1, 3, 5, 6, 7, 8, 9, 10} = A B, dado que los conjuntos no tienen elementos en comn.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.
B
7 8,
10, 9
1, 3,
5, 6
9
En la figura de la izquierda la diferencia simtrica corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 10} y B = {7, 8,
9, 10} entonces
A B = {1, 3, 5, 6, 8, 9}, dado que son los elementos no comunes que estn en A y
en B.
Caso 3. Que un conjunto este contenido en el otro.
A
B
B
1, 3
5, 6
7 8,
10, 9
9
{7, 8, 9, 10} entonces A B = {1, 3, 5, 6} = A - B, dado que son los elementos no comunes en A y en B.
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, es decir A = {x/ x A}
Caso 1. Que los conjuntos no tengan ningn elemento en comn.
1, 3, 5,
6
7, 8, 9,
10
2, 4
U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
estn en el conjunto A.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.
B
7 8,
10, 9
1, 3,
2,
5, 6
U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
estn en el conjunto A.
A
B
B
1, 3
5, 6
4
7 8,
10, 9
9
En la figura de la izquierda el complemento corresponde a la parte no sombreada que est entre a y el conjunto universal. Si
U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10},
corresponde a los elementos que no estn en el conjunto A, pero estn en el conjunto universal.
Producto Cartesiano
Par ordenado o pareja ordenada: La expresin (x, y) representa una pareja ordenada , que cumple la
condicin de que su primera componente, x pertenece al conjunto A
conjunto B.
Plano cartesiano: es una representacin grfica, donde dadas dos rectas perpendiculares entre si llamadas ejes, se
ubican las parejas ordenadas. Los pares ordenados (x, y), (-x, y), (x,-y), (-x,-y) se representan en el plano cartesiano como
sigue:
(-x, y)
(x, y)
X
(-x,-y)
(x,-y)
Producto Cartesiano: Si A y B son dos conjuntos no vacos, se define el producto cartesiano entre A y B as:
A X B = {(x, y) / x A y, y B}.
Ejemplo: Si A = {1, 2,3} y B = {-1, 0, 2}
El producto cartesiano de A X B es: A X B = {(1,-1), (1,0), (1,2), (2,-1), (2,0), (2,2), (3,-1), (3,0), (3,2)}
y el producto de BXA es: B X A = {(-1,1), (-1,2), (-1,3), (0,1), (0,2), (0,3), (2,1), (2,2), (2,3)}
De donde se observa que el producto cruz no es conmutativo, es decir: A x B B x A
Algebra de conjuntos
Propiedades de las operaciones entre conjuntos
Las siguientes cuatro propiedades, son validas para las operaciones de unin e interseccin:
a.
Leyes de idempotencia:
A U A =A
A A =A
b.
Leyes asociativas:
(A U B) U C = A U (B U C)
(A B) C = A (B C)
c.
Leyes conmutativas:
A U B =B U A
A B =B A
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 :
e.
Leyes de identidad:
A U U =U
A U =A
A U =A
A =
A A' =
' = U
g.
Leyes de De Morgan:
b.
c.
d.
e.
N
30
15
10
Los 15 elementos de la interseccin pertenecen a M y a N, a la vez. Para determinar cuntos hay en la unin, esos 15
elementos slo deben contarse una vez. Por tanto, en M N habr 30 + 15 + 10 = 55.
Y se cumple que card (A B) = 45 + 25 - 15 = 55
Anlisis de problemas:
Supongamos que en una determinada ciudad hay tres peridicos, que llamaremos A, B y C. Se ha preguntado a un grupo
de personas sobre su lectura o no de esos peridicos, obtenindose las respuestas siguientes:
Lectores de A, 32. Lectores de B, 45. Lectores de C, 23. Lectores de A y B, 14. Lectores de A y C, 9. Lectores de B y C, 12.
Lectores de los tres peridicos, 5. Nmero de personas que no leen ninguno de esos tres peridicos, 54.
Podramos saber cuntas personas haba en el grupo?
14
24
5
7
7
54
El uso de los diagramas de Venn facilita notablemente la respuesta. Para ello dibujamos los conjuntos A, B y C,
superponindose en parte. Las partes comunes indican los lectores que leen ambos peridicos; adems, se tendr en
cuenta que los lectores que leen varios peridicos, leen cada uno de ellos. Esto es, las 5 personas que leen A, B y C (A B
C), leen A y B (A B), leen A y C (A C) y leen B y C (B C); y, por supuesto, cada uno de esos 5 leen A, leen B y leen
C. En definitiva, el nmero de lectores de peridicos es, 14 + 9 + 24 + 4 + 5 + 7 + 7 = 70. El nmero total de personas
en ese grupo es 70 + 54 = 124.
LGICA BSICA
Objetivo general
Conocer a groso modo los elementos bsicos de la teora de la lgica proposicional.
Objetivos especficos
1. Conocer la historia de la lgica y su clasificacin.
2. Establecer la relacin entre lgica y lingstica.
3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y equivalencia.
4. Identificar la tabla de verdad de enunciados o expresiones lgicas.
En el modulo de LGICA MATEMTICA, reescrito en su segunda edicin para la UNAD, por GEORFFREY ACEVEDO
GONZLEZ (2007: 37-40), hace una exposicin sencilla y clara de algunos conceptos introductorios los cuales se presentan
a continuacin:
Historia y clasificacin
Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o discurso, por lo que en un
principio se defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje. Como la
palabra es la expresin, o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede
decirse en general, que la lgica es la ciencia del pensamiento racional; es de aclarar que la lgica no se ocupa del
contenido de los
Pensamientos sino de la manera o forma de los pensamientos. En respuesta a la necesidad de construir argumentos,
para defender o refutar pensamientos de los dems, Aristteles, considerado por los griegos el padre de la lgica.,
creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica proposicional
estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica, planteando que la
dependencia lgica entre proposiciones es demostrada, reduciendo argumentos complejos en simples, para lo cual
propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste
esquema (lgica simblica) lo llam una caracterstica universal. 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. 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.
Clasificacin de la lgica
La lgica se puede clasificar como:
1. Lgica tradicional o no formal.
2. Lgica simblica o formal.
En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico, y los mtodos de inferencia
que estn relacionados con la destreza para interpretar y distinguir el razonamiento correcto del incorrecto; se puede
considerar que la lgica no formal resume las experiencias humanas obtenidas del conocimiento y de la observacin
del mundo circundante. La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de
investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada
como uno de los sistemas mediante el cual se llega a formas puras y rigurosas. En el pensamiento simblico, las
palabras se manipulan, segn las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
Conceptualizacin
La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de verdad y determinar si unas
conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; adems, la lgica es una ciencia
que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y
generalidad en los razonamientos. La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin
primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad. La
claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos bsicos de un
argumento lgico, tanto en su representacin simblica como en su significado para luego establecer un lenguaje
simblico artificial, que le permita simplificar argumentos lgicos complicados; de esta manera, el smbolo permite
concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento.
Lgica y lingstica
Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes: los lenguajes naturales y los
lenguajes formales o artificiales. Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos
estn el castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron establecidas a
posteriori, es decir despus de que el lenguaje ya haba madurado. Los lenguajes formales como las matemticas y la
lgica, fueron desarrollados, generalmente, a partir del establecimiento de una teora, la cual da las bases para que a
travs de dichos lenguajes se pueda desarrollar la misma teora. 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 del diccionario.
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.
Simbolizacin: proposiciones
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento bsico de
anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms
limitado, en tales condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene la
propiedad de ser verdadera o falsa, y para simplificar la escritura de argumentos lgicos complicados; crea un
lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien definidas y que no presentan las
ambigedades ni vaguedades del lenguaje corriente. Es importante tener en cuenta que las proposiciones representan
oraciones declarativas, las cuales contienen un sujeto perfectamente definido o dado por el contexto, un predicado y
una conjugacin del verbo ser. Las proposiciones se representan simblicamente mediante el uso de letras minsculas
del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de
esta forma, el lenguaje proposicional se hace ms simple y exacto que el lenguaje natural.
Proposiciones simples:
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos:
p: El eclipse es un fenmeno natural.
q: La luna es un satlite de la tierra.
r: 2 es el inverso multiplicativo de .2.
s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no los dos valores al mismo
tiempo, pues dejara de ser proposicin.
Conectivos Lgicos: Los conectivos lgicos
son llamados;
bicondicional, los cuales al igual que a las proposiciones se les asignan un lenguaje simblico, as:
NOMBRE
LENGUAJE
LENGUAJE
NATURAL
FORMAL
CONJUNCIN
DISYUNCIN
NEGACIN
NO
CONDICIONAL
ENTONCES
BICONDICIONAL
SI Y SOLO SI
P: hoy es domingo
P: hoy es domingo
posibilidades
21 = 2
valores de
verdad
22 = 4 valores de
verdad
23 = 8 valores
de verdad
p
v
f
Ejemplo:
PROPOSICIN
VALOR
NEGACIN DE LA PROPOSICIN
VALOR
r: 2 es el inverso multiplicativo de -2
r: 2 no es el inverso multiplicativo de -2
t: 2>3
t: 2<3
u: 3 + 5 = 8
u: 3 + 5 8
q
V
F
V
F
pq
V
F
F
F
:y
s : 3 es primo positivo.
(V)
q: 3 es primo positivo.
(V)
r s: Verdadera
(V)
p: 3 es un nmero impar.
(V)
q: 3 no es primo positivo.
(F)
r s: Falsa
(F)
p: 3 no es un nmero impar.
(F)
q: 3 es primo positivo.
(V)
r s: Falsa
(F)
p : 3 no es un nmero impar.
(F)
q: 3 no es primo positivo.
(F)
r s: Falsa
(F)
Disyuncin: Sean p y q dos proposiciones simples, la proposicin p o q simbolizada p q se llama disyuncin. El operador
: o se puede usar de dos formas: como o incluyente () como o excluyente (). En el primer caso (o incluyente) hace
que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposicin
disyuntiva; mientras que en la segunda forma (o excluyente) el valor de verdad de una proposicin excluye la veracidad de
la otra proposicin, esto hace que la proposicin disyuntiva tome el valor verdadero.
Uso del incluyente:
r s: Juan estudia ingeniera o Paola estudia medicina.
:o
s
V
F
V
F
rs
V
V
V
F
s : Carlos va a cine
(V)
s: Carlos va a cine
(V)
r s: Verdadera
(V)
(V)
s: Carlos no va a cine
(F)
r s: Verdadera
(V)
(F)
s: Carlos va a cine
(V)
r s: Verdadera
(V)
(F)
s: Carlos no va a cine
(F)
r s: Falsa
(F)
p: Quieres helado.
q: Quieres gaseosa.
Bajo esta operacin se considera que pq es verdadera nicamente si p y q toman valores de verdad diferentes:
p
V
V
F
F
q
V
F
V
F
pq
F
V
V
F
p: quiere pizza
q: quiere hamburguesa
(V)
q: quiere gaseosa
(V)
r s: Verdadera
(F)
p: quiere helado
(V)
q: quiere gaseosa
(F)
r s: Verdadera
(V)
p: quiere helado
(F)
q: quiere gaseosa
(V)
r s: Verdadera
(V)
p: quiere helado
(F)
q: quiere gaseosa
(F)
r s: Verdadera
(F)
Condicional: Se dice que una proposicin compuesta es condicional si est formada por dos proposiciones simples
enlazadas por la expresin si entonces, si p y q representan dos proposiciones la expresin si p entonces q se simboliza as:
p q 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.
p slo si q,
q si p,
p es suficiente para q,
q es necesaria para p.
Ejemplos:
Si un entero es mltiplo de 5 entonces es divisible por 5.
No me echan slo si trabajo.
El algoritmo est bien enunciado si el programa corre.
Si dos rectas nunca se cortan necesariamente son paralelas.
Cuando una proposicin condicional se escribe en una de las anteriores formas probablemente en el lenguaje comn habr
alguna que no se interprete como se desea, pero como la lgica no permite ambigedades stas se deben escribir segn la
definicin dada en la seccin.
Existen varias formas de enunciar proposiciones condicionales as:
Implicacin directa: p q
Implicacin contraria: q p
Implicacin recproca: ~ p ~ q
Implicacin contra-recproca: ~ q ~ p
Implicacin directa: p q
Bajo esta operacin se considera que p q es verdadera si p es verdadera y q es verdadera:
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
: entonces es
(V)
r s:
(V)
(F)
r s:
(F)
(V)
r s:
(V)
(F)
r s:
(V)
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
qp
V
V
F
V
p q
V
V
F
V
q p
V
F
V
V
Bicondicional: Se denomina a la proposicin formada por dos proposiciones simples conectadas por la expresin s y slo s
(). 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.
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin, stas son: p s y slo si q, q s y slo
V
V
F
F
V
F
V
F
p
q
V
F
F
V
: si y solo si
(V)
(V)
r s:
(V)
p: Un tringulo es rectngulo
(V)
(F)
r s:
(F)
p: Un tringulo es rectngulo
(F)
(V)
r s:
(F)
p: Un tringulo es rectngulo
(F)
(F)
r s:
(V)
Es una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes. Se entiende por
tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los
valores de verdad (V, F) de cada una de las proposiciones que la integran.
Equivalencia lgica (): Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los
posibles valores de verdad de sus componentes.
Ejemplo: Las dos frmulas siguientes son equivalentes: (p q) (p r)
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
F
F
V
V
F
F
V
V
p
F
F
F
F
V
V
V
V
p q
F
F
V
V
V
V
V
V
p r
V
F
V
F
V
V
V
V
(p q) (p r)
V
F
V
V
V
V
V
V
p q r
p q
F
F
V
V
V
V
V
V
p q r
V
F
V
V
V
V
V
V
La comprobacin de cualquiera de las tautologas anteriores es directa, es suficiente hacer la tabla de verdad y se obtendr
la columna correspondiente a la frmula con valores verdaderos nicamente.
Las siguientes son equivalencias lgicas.
(p) p
(p q) p q
(p q) p q
(p q) ( p q)
((p q) ( q p)
(p q) p q
Doble Negacin
Ley 1 de De Morgan
Ley 2 de De Morgan
Condicional como clusula
Contra-positiva
Negacin de la Implicacin
CONTRADICCIN: una proposicin compuesta que es falsa en todos los casos independientemente de los valores de
verdad de las proposiciones que la conforman se llaman contradicciones.
p
V
V
q
V
F
q
F
V
pq
F
V
(p q) q
F
F
F
F
V
F
F
V
F
F
F
F
FALACIA: Es un razonamiento incorrecto que aparenta ser correcto. El que un razonamiento que sea falaz no implica que
su conclusin sea falsa. Lo que lo hace falaz es la incorreccin del razonamiento en s. Todo razonamiento falaz es invlido,
es decir que sus premisas no garantizan la verdad de su conclusin, pero en ocasiones pueden ser muy sutiles y
persuasivas, y puede hacer falta mucha atencin para detectarlas.
Para crear un razonamiento vlido se parte de una serie de premisas para, mediante mecanismos vlidos, llegar a
una conclusin. Un ejemplo de falacia es este:
Premisa 1: Los perros son bonitos.
Premisa 2: lukas es bonito.
Conclusin: lukas es un perro.
El siguiente ejemplo es el mismo que el anterior, pero al cambiarle un simple elemento deja de ser tan persuasivo.
Premisa 1: Los perros son bonitos.
Premisa 2: El Everest es bonito.
Conclusin: El Everest es un perro.
La conclusin puede llegar a ser verdadera de manera casual. En este caso podra coincidir que hubiese un perro al que
llamasen El Everest. El razonamiento seguira siendo una falacia, ya que esto no depende de la conclusin, sino del
razonamiento en s mismo.
Bibliografia
Ivorra, Carlos, (2011).Lgica y teora de conjuntos.
Lipschutz, Seymour (1991). Teora de conjuntos y temas afines. McGraw-Hill.
Cibergrafia
http://docencia.udea.edu.co/SistemasDiscretos/contenido/principal.html