República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Superior

Cátedra: Razonamiento Lógico
Profesor: Marco Polo Pérez Bravo
Sección: N1PRHAB

Teoremas de Conjuntos, Leyes de la

Lógica, Deducciones

Integrantes:
Maibel Medina C.I.: 14.868.084
Ysabel Hernández C.I.: 15.328.960
Carlos Villarroel C.I.: 17.076.741
 Caracas, 25 de Octubre de 2007

Introducción

La Lógica constituye un cuerpo fundamentalmente metodológico,

con el cual se opera dentro de los distintos ámbitos del saber, por ello han
tenido lugar una serie de propuestas formales emplazadas en los distintos
ámbitos de las ciencias.
La lógica matemática es el estudio de teorías matemáticas bajo el
punto de vista de las teorías de modelos, conjuntos, pruebas y
funciones periódicas. Esta rama de las matemáticas tiene por objetivo
cuestionar rigurosamente los conceptos y reglas de deducción que se
utilizan en ellas y su fundamento es la formalización o construcción de
sistemas formales, operación que permite elegir axiomas por eliminación
de la arbitrariedad y definir explícitamente las reglas de la deducción
Desarrollo histórico.

Tenemos que el Conjunto es la unión de objetos con propiedades

que son expresables, y el conjunto de conjuntos es un nuevo conjunto
que se contiene a sí mismo como uno de sus propios elementos, en un
razonamiento paradójico revelado por Bertrand Russell. Según este
último, un conjunto pertenece a la categoría primera si no se contiene a sí
mismo, y a la segunda si se contiene a sí mismo como elemento.

Por ello en la presente investigación profundizaremos referente al

Teorema de Conjuntos, su clasificación, propiedades de los números, y
las leyes aplicadas en la lógica como lo son: idempotencia, identidad,
asociativa, conmutativa, distributiva, identidad, complementación entre
otras.

1
 Teorema de Conjuntos

Se denomina conjunto a la agrupación en un todo de objetos bien

diferenciados en la mente o en la intuición, por lo tanto, estos objetos son
bien determinados y diferenciados.

Es la reunión, agrupación o colección de elementos bien definidos

que tienen una propiedad en común, éste fue inventado por Georg Cantor
hace 100 años. Sus conceptos han penetrado y transformado todas las
teorías formales y todas las ramas de la matemática y de la lógica, así
como la misma ontología.

Como se trata de un concepto primario, el conjunto no puede

definirse; sólo se puede dar una idea intuitiva de él.

A pesar de su sencillez este concepto es la base de las

Matemáticas actuales, debido a que, entre otras cosas, sirve para la
construcción de los números. Sirve además para estudiar las estructuras
algebraicas, con las cuales se organizan ordenadamente todos los
conocimientos matemáticos.

Ejemplos: los alumnos de un colegio, los números impares, los

meses del año, etc., siendo cada alumno del colegio, cada número impar,
cada mes del año, respectivamente, elementos de cada uno de los
correspondientes conjuntos.

Un conjunto puede determinarse de dos formas:

 Por extensión Un conjunto queda definido por extensión cuando se

menciona cada uno de los elementos del conjunto.

 Por comprensión: Exige mencionar ciertas propiedades que deben

cumplir todos los elementos del conjunto y solamente ellos.

2
 Un conjunto A está determinado cuando, dado un elemento
cualquiera a, es posible decidir si pertenece o no al conjunto. Es decir,
trabajaremos con conjuntos perfectamente determinados, donde no
quepa la ambigüedad. Dado un elemento a, debe haber un criterio que
permita decidir, de manera única, si a pertenece o no al conjunto. Es
decir, un conjunto es una agrupación, clase o colección de objetos
reunidos a partir de un criterio claramente determinado.

Si a es un elemento del conjunto A, se dice que a pertenece a A y se

nota por

Si, por el contrario, el elemento a no pertenece al conjunto A, se

escribe

Todo conjunto es una colección de objeto pero no toda colección de

objeto es un conjunto. Es decir, todo conjunto es una clase, pero no toda
clase es un conjunto.

Como un conjunto está determinado con sólo saber cuáles son los
elementos que lo integran, está implícito que: 1) no admitiremos elementos
“repetidos”; dado un elemento cualquiera, sólo hay dos posibilidades:
pertenece o no pertenece al conjunto. 2) el orden no interviene.

Escribimos en este caso A=B , para expresar que dos conjuntos

son iguales, es decir, que son el mismo conjunto con el mismo nombre.

Para probar que dos conjuntos A y B son iguales, debe verificarse

que todo elemento de A pertenece a B y que todo elemento de B
pertenece a A.

3
 Para probar que son distintos alcanza con encontrar un
elemento de uno que no pertenezca al otro. Entonces, dados dos
conjuntos, A y B, decimos que A = B, es decir, que A es igual a B si se
cumplen dos cosas:
1) Todo elemento de A pertenece al conjunto B (A está incluido en B)
y
2) Todo elemento de B pertenece al conjunto A (B está incluido en A).

Si cada elemento del conjunto A, pertenece al conjunto B, se dice

que A es un subconjunto del conjunto B o que A está incluido en B, y
lo escribimos A ` B.

Se dice que A es un subconjunto propio de B si todo elemento x que

pertenece a A pertenece a B, pero existe al menos un elemento que
pertenece a B y que no pertenece a A

Esto implica que todo elemento de A pertenece a B, pero que hay

elementos de B que no pertenecen a A. Dos conjuntos, A y B son
disjuntos, si no tienen elementos en común. O sea:

4
 Sean un conjunto A, llamamos complemento de A y lo notamos Ac al
conjunto formado por todos aquellos elementos que pertenecen al grupo
universo pero que no pertenecen a A.

Puede suceder que ningún elemento satisfaga la condición de

pertenencia (“conjunto de todos los triángulos de cuatro lados”, o
“conjunto formado por todos los números primos comprendidos entre 32 y
36”.)b. Nos encontramos entonces con un conjunto particular que
llamaremos vacío (o sea: sin elementos).

Llamamos conjunto vacío al conjunto que no contiene elementos,

y lo notamos por ø . Podemos escribir ø = { } Claramente el conjunto vacío

es subconjunto de todo conjunto.

Llamamos conjunto universo al conjunto que contiene a todos

los elementos de un espacio particular, y lo notamos por

Todo conjunto está incluido en el conjunto universo, pues este

contiene a todos los elementos del espacio.

5
 Simbología
Símbolo Nombre se lee como Categoría
delimitadores de teoría de
el conjunto de ...
conjunto conjuntos
{ , } {a,b,c} significa: el conjunto consistente de a, b, y c
N = {0,1,2,...}
notación constructora el conjunto de los elementos ... teoría de
de conjuntos tales que ... conjuntos
{:} {x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es
{|} verdadera. {x | P(x)} es lo mismo que {x : P(x)}.
{n ∈ N : n² < 20} = {0,1,2,3,4}
teoría de
conjunto vacío conjunto vacío
conjuntos
∅ {} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.
{} {n ∈ N : 1 < n² < 4} = {}
pertenencia de en; está en; es elemento de; es teoría de
conjuntos miembro de; pertenece a conjuntos
∈ a ∈ S significa: a es elemento del conjunto S; a ∉ S significa: a no es
∉ elemento del conjunto S
(1/2)−1 ∈ N; 2−1 ∉ N
teoría de
subconjunto es subconjunto de
conjuntos
⊆ A ⊆ B significa: cada elemento de A es también elemento de B

⊂ A ⊂ B significa: A ⊆ B pero A ≠ B
A ∩ B ⊆ A; Q ⊂ R
unión conjunto- teoría de
la unión de ... y ...; unión
teorética conjuntos

∪ A ∪ B significa: el conjunto que contiene todos los elementos de A y

también todos aquellos de B, pero ningún otro.
A⊆B ⇔ A∪B=B
intersección conjunto- la intersección de ... y ...; teoría de
teorética intersección conjuntos

∩ A ∩ B significa: el conjunto que contiene todos aquellos elementos que

A y B tienen en común.
{x ∈ R : x² = 1} ∩ N = {1}
complemento conjunto- teoría de
menos; sin
teorético conjuntos
\ A \ B significa: el conjunto que contiene todos aquellos elementos de A
que no se encuentran en B

6
 {1,2,3,4} \ {3,4,5,6} = {1,2}
Clases de Conjuntos

Conjunto Finito: Se denomina así al conjunto al cual podemos

nombrar su último elemento

Ejemplo: M={x/x es mes del año}

Por que sabemos que el último mes es Diciembre

Conjunto Infinito: Se denomina así al conjunto al cual no

podemos nombrar su último elemento

Ejemplo: M={x/x es número natural}

Por que no sabemos que cual es el último mes es el último número

Conjunto Universo: Se denomina así al conjunto formado por

todos los elementos del tema de referencia

Ejemplo: U={x/x es un animal}

A={x/x es un mamífero}

B={x/x es un reptil}

Conjunto vacío: Se denomina así al conjunto que no tiene ningún

elemento. A pesar de no tener elementos se le considera como conjunto y
se representa de la siguiente forma: {*}

Ejemplos: Conjunto de los meses del año que terminan en a.

Conjunto de números impares múltiplos de 2.

Conjunto unitario. Es el conjunto que tiene un solo elemento.

7
Ejemplo: Conjunto de los meses del año que tiene menos de reinta días,
solamente febrero pertenece a dicho conjunto.

Conjuntos disjuntos. Se llaman conjuntos disjuntos aquellos que

no tienen ningún elemento que pertenezca a ambos al mismo tiempo.

Ejemplo: Los dos conjuntos siguientes:

{x/x es un número natural}

{x/x es un día de la semana}

son disjuntos ya que no tienen ningún elemento común.

Conjunto de las partes de un conjunto: Se llama así al conjunto

formado por todos los subconjuntos posibles de un conjunto dado.
Observamos que en él los elementos son, a su vez, conjuntos. Se
representan por p(A).

Ejemplo: Dado el conjunto: A={a,b,c,d.}

Formemos todos sus subconjuntos: , M={a}, N={b}, P={c}, Q={d}, R={a,c},

T={a,d}, U={b,c}, V={b,d}, X={c,d}, Y={a,b,c}, Z={a,b,d}, L={b,c,d}. El
conjunto de las partes de A, es decir (A), será:

p(A) = {{ }, M, N, P, Q, R, S, T, U, V, X, Y, Z, L, A}

Clases

Se entiende por clase una pluralidad o conjunto de individuos que

tienen una misma propiedad o propiedades. Según el diagrama de la
introducción a la lógica, en la lógica proposicional, hemos estudiado las
oraciones o juicios, las proposiciones y los razonamientos. En la lógica de
clases, nos ocupamos de los conceptos que designan un grupo de
objetos con las mismas propiedades o características. Estos grupos de
objetos, son las clases.

8
En el lenguaje formal las clases se representan con letras mayúsculas
empezando por la .

Elementos de una clase

Cada uno de los objetos integrantes de una clase, es un elemento

o miembro de la clase. La relación existente entre un elemento y la clase
de la que es miembro, se llama relación de pertenencia, el elemento
pertenece a la clase, se simboliza: [ ]; este símbolo deriva de la palabra
griega estí, que significa es. Por ejemplo Madrid pertenece a las capitales
europeas. .

En general , quiere decir que es un elemento de . Cuando

quiero expresar que un elemento no pertenece a una clase, utilizo el
símbolo: . Por ejemplo México , quiere decir que México no
pertenece a las capitales europeas.

Relaciones entre clases

1. Si todos los elementos de son también de , las clases son idénticas

o iguales: .

2. En el caso de que ningún elemento de sea elemento de y viceversa,

las clases son disjuntas: Por ejemplo la clase de los madrileños y la de
los sevillanos: .

3. Si ambas clases tienen al menos un elemento en común, se expresa

así: y también . El signo se llama
cuantificador universal, quiere decir que hay al menos un elemento.

4. Todos los elementos de la clase son también de la clase , Pero no a

la inversa. es una subclase de o está incluida en . . Por
ejemplo: Los alumnos de primero de la Educación Secundaria Obligatoria
y los alumnos de todo el Colegio.

9
5. Clase unitaria es la que sólo tiene un elemento. Ejemplo: Presidente o
Presidenta del gobierno.

6. Clase vacía es la que no tiene ningún elemento. Se representa:

Operaciones con clases

Si tenemos varias clases, se puede establecer entre ellas varias

operaciones semejantes a la lógica proposicional.

Suma Lógica

Ejemplo: Los gatos y los seres grises = Todos los gatos y todos los seres
grises, elefantes, trajes etc.

Producto lógico

Son los elementos comunes entre ambas clases:

En el ejemplo anterior el producto lógico, son los gatos grises.

Diferencia lógica de clases

. Los elementos que pertenecen a A y no pertenecen a B.

Los gatos que no son grises:

Diferencia simétrica de clases

Los elementos que pertenecen a y que pertenecen a pero no a ambos:

10
Clase complementaria

Si establecemos la clase universal y otra , que es subclase de

, la clase complementaria de , es la clase constituida por los elementos
que pertenecen a y no pertenecen a :

Si tomamos como clase universal a los españoles y como clase

, los habitantes de la comunidad de Madrid, la clase complementaria son
todos los españoles que no viven en la comunidad de Madrid.

Conjuntos Numéricos y Propiedades

Los números naturales son los números que utilizamos para

contar, estos son: {1,2,3,4,5,6,7,8, … }. Los puntos suspensivos indican
que los números continúan de esa forma, sin terminar nunca.

Si sumamos dos números naturales obtenemos otro número

natural, por ejemplo: 8 + 5 = 13. Pero si restamos 5 – 5, necesitamos otro
número que represente el resultado. Ese número es cero. Entonces
tenemos otro conjunto numérico que en adición a incluir los números
naturales incluye el cero. Este conjunto es el conjunto de los números
cardinales {0,1,2,3,4,5,6,7,8,…}.

En el diario vivir se escuchan expresiones como: “10 grado bajo

cero”, “647 en débito”, “8 pies bajo el nivel del mar”. Estas tres
expresiones se refieren a números menores que cero. Con estas
situaciones surgen los enteros negativos.

11
 Los enteros negativos, el cero y los números naturales (también
conocidos por enteros positivos) forman el conjunto de los números
enteros, estos son {…,-4,-3,-2,-1,0,1,2,3,4,…}.

Si sumamos, restamos y multiplicamos enteros siempre se obtiene

otro número entero. Pero si dividimos dos enteros no siempre
obtendremos otro entero. Por ejemplo, 16 ÷ 2 = 8 pero en 3 ÷ 4 el
resultado no es un entero. Existen muchas divisiones donde el resultado
no es un entero. Esta situación nos lleva a otro conjunto numérico
conocido por los números racionales. Los números racionales son
a
todos aquellos números que se pueden escribir de la forma b donde b
es diferente de cero. Los números naturales, los cardinales y los
enteros son números racionales. Otros ejemplos de números
racionales son:

5 7 3 6
,  , 2 , 25 , 1.25, , 0.33333....
4 8 4 100

Existe otro conjunto de números que son los números

irracionales, estos son números que no son racionales, esto es, que no
a
se pueden expresar de la forma b donde b es diferente de cero.
Ejemplos: √2 = 1.414213562… es un número irracional y π = 3.14157…

Luego el conjunto de números que consiste de todos los números

racionales y todos los números irracionales se conoce como el conjunto
de los números reales.

12
 El siguiente diagrama ilustra los diferentes conjuntos numéricos
que estaremos utilizando en este curso.

CONJUNTOS NUMÉRICOS

Números Reales

Números Irracionales Números Racionales

√3; Π; -√2; … -1; -⅔; 0; 4; ⅝;1.25,0.333…

Números Enteros
…,-3,-2,-1,0,1,2,3,…

Números Cardinales
0,1,2,3,4,5,6,…

Números Naturales
1,2,3,4,5,6,…

13
 Propiedades de Los Números Reales

Por número real llamaremos a un número que puede ser racional o

irracional, por consiguiente, el conjunto de los números reales es la unión
del conjunto de números racionales y el conjunto de números irracionales.

 El conjunto de los números reales es el conjunto de todos los

números que corresponden a los puntos de la recta
 Al conjunto de los números reales es el conjunto de todos los
números que pueden expresarse con decimales infinitos periódicos o
no periódicos (en este caso un decimal finito, tal como 1,2 puede
considerarse periódico de periodo 0:1,2 = 1,2000 . . .).El conjunto de
los números reales es denotado por R.

Operaciones con números reales:

En el conjunto de los números reales se encuentran definidos dos

operaciones básicas que son: la adición, la multiplicación, la sustracción y
la división.

Adición de números reales:

La adición de números reales es una operación que asocia a cada

par de números reales a y b, llamados sumandos, un único número real c,
llamado suma de a y b- la adición es una función definida así:

+:R x R à R

(a, b) à c = a + b

suma sumandos

Sustracción de números reales:

Es la operación inversa de la adición. Mientras en la adición se dan

los sumandos y se trata de calcular la suma:

14
a+d=m

sumandos suma

en la sustracción se da la suma, llamada ahora minuendo y un sumando

llamado sustraendo y se trata de calcular el otro sumando llamado
diferencia:

m–a=d

minuendo diferencia

sustraendo

la diferencia d = m – a se calcula sumando al minuendo m el opuesto del

sustraendo a:

d = m – a = m + (–a)

Multiplicación:

La multiplicación de números reales es una operación que asocia a

cada par de números reales a y b, llamados factores; un único número
real c, llamado producto de a y b. La multiplicación es una función definida
así:

RxRàR

(a, b) à c = a . b

producto factores

División de números reales:

la división es la operación inversa de la multiplicación, mientras en

la multiplicación se dan los factores y se trata de calcular el producto:

a.b=c

factores producto

15
en la división se da el producto llamado ahora dividendo y un factor
llamado ahora divisor y se trata de calcular el otro factor, llamado
cociente:

en la división tenemos que:

Potenciación de números reales:

Una adición de sumandos iguales, se conviene en escribirlo en

forma de producto, así tenemos:

En forma similar, una multiplicación de factores iguales se conviene

escribirlo en forma exponencial. Así tenemos:

3·3·3·3 = 34 ; 7·7·7·7·7 = 75

El pequeño número colocado en la parte superior derecha del

factor que se repite es denominado exponente. El exponente indica el
numero de veces que el factor se repite. El factor que se repite recibe el
nombre de base.

exponente
El símbolo completo de base y exponente: base , recibe el
nombre de potencia. Así, 34 es la cuarta potencia de tres y 75 es la quinta
potencia de siete.

En general, si b es un número real y n un número entero positivo,

entonces bn se le llama una potencia de base b y significa el producto de b
por sí mismo n veces, es decir:

16
Por ejemplo:

52 = 5 · 5 = 25 la base 5 se multiplica por si misma 2 veces

La potencia de exponente 2 recibe el nombre de cuadrado. Así: 3 2

se lee "tres al cuadrado" o "el cuadrado de tres".

La potencia de exponente 3 recibe el nombre de cubo. Así p ³ se

lee "pi al cubo" ó "el cubo de pi".

La potencias de exponentes 4, 5, 6 . . . reciben el nombre de

cuarta, quinta, sexta, . . . potencia. Así: (2 - √5) 4 : "cuarta potencia de2 -
√5" ó "2 - √5 a la cuarta".

Se conviene en lo siguiente:

1. La potencia de base un número real no nulo y de exponente cero

es uno : a0 = 1, a ¹ 0.
2. La potencia de base un número real y exponente uno es el mismo
numero real: b1 = b

Así : 101 = 10; (√2 – 3)1 = √2 – 3; p 1 = p .

Radicación de Números Reales:

La radicación es uno de las operaciones inversas de la

potenciación. Mientras en la potenciación se dan la base y el exponente y
se trata de calcular la potencia :

exponente

bn = ?

base potencia

Propiedades de los números reales (en la adición):

a.-) Propiedad conmutativa: en la adición de números reales, el orden

del os sumandos no altera la suma. Es decir, si a y b son los números

17
reales, entonces = a + b = b + a , por lo anterior se dice que la adición de
números reales tiene la propiedad conmutativa.

b.-) Propiedad asociativa: en la adición de números reales, la forma de

agrupar los sumandos no altera la suma. Es decir, si a, b y c son números
reales, entonces a + b + c = (a + b) + c = a + (b + c), por lo anterior, se
dice, que la adición de números reales tiene la propiedad asociativa.

c.-) Existencia de elemento neutro: en el conjunto R de los números

reales, el número real cero (0) es el elemento identidad o neutro para la
adición porque la suma de cualquier número a y 0 es 0. es decir, si a es
un número real, entonces: a + 0 = 0 + a = a.

d.-) Existencia de elementos simétricos opuestos: para cualquier

número real existe otro número real –a, llamado opuesto de a, tal que: a +
(-a) = 0. Así: la suma de un número real y su opuesto es igual a cero (0),
el elemento identidad o neutro para la adición. Por ejemplo: –√2 = –(–√2)
= √2.

Las propiedades de los números reales (en la sustracción):

a.-) Si a y b son números reales, entonces su diferencia a- b es un

número real. Por satisfacer esta propiedad se dice que el conjunto de
números reales es cerrado respecto a la sustracción.

b.-) La sustracción de números Reales no es conmutativa. Observa la

localización de 3 – √2 y √2 – 3 en la recta real.

c.-) La sustracción de números reales no es asociativa. Observa:

(3·√2 – √2) – 3·√2 = 2·√2 = 3·√2 – 3·√2 = – √2

3·√2 – (√2 – 3·√2) = 3·√2 – (–2·√2) = 5·√2

como – √2 ¹ 5·√2 , entonces

(3·√2 – √2) – 3·√2 ¹ 3·√2 – (√2 – 3·√2)

18
d.-) El número real cero (0) es un elemento identidad o neutro por la
derecha para la sustracción. Observa que la diferencia de cualquier
número a menos 0 es igual al numero a: √2 – 0 = √2; p - 0 = p ; (3·√2 –
√2) – 0 = (3·√2 – √2). Pero cero no es elemento identidad o neutro por la
izquierda. En efecto, 0 – a ¹ a; 0 – 2 ¹ 2, 0 - √3 ¹ √3.

Propiedades de los números reales (en la sustracción):

a.-) si a y b son números reales, entonces su producto a·b es un número

real. Por satisfacer esta propiedad, se dice que el conjunto de números
reales es cerrado respecto a la multiplicación.

b.-) Propiedad conmutativa: en la multiplicación de números reales, la

forma de agrupar los factores no altera el producto. Es decir, si a y b son
dos números reales, entonces: a·b = b·a.

c.-) Propiedad asociativa: en la multiplicación de números reales, la

forma de agrupar los factores no altera el producto. Es decir, si a y b son
dos números reales, entonces: a·b·c = (a·b)·c = a·(b·c)

d.-) Existencia de elemento identidad o elemento neutro: en el

conjunto R de los números reales, el número real uno (1) es el elemento
identidad o neutro para la multiplicación porque el producto de cualquier
número a por 1 es a. Es decir, si a es un número real, entonces: a·1 = 1·a
= a.

e.-) Existencia de elemento simétrico o inverso: para cualquier número

real no nulo a, existe otro número real 1/a = a -1, llamamos inverso de a tal
que: a · 1 / a = 1 ó a · a-1 = 1.

f.-) Propiedad distributiva con respecto a la adición: así, multiplicar un

número real por una suma indicada de números por cada uno de los
sumandos y luego sumar los productos obtenidos. Es decir, si a, b y c son
números reales, entonces:

(a + b)·c = a·c + b·c

19
 a·c + b·c = (a +b)·c

g.-) Factor cero: todo número multiplicado por cero da cero. Es decir, si a
es un número real entonces: a·0 = 0; 3·0 = 0; 5·0 = 0, 375·0 = 0, (-4)·0 =
0.

Propiedades de los números reales en la división:

a.-) si a y b son números reales, con b no nulo (b ¹ 0), entonces su

cociente a / b ó a ¸ b es un número real. Por satisfacer esta propiedad se
dice que el conjunto de números reales es cerrado respecto a la división,
con divisor no nulo.

b.-) La división de números reales no es conmutativa. Observe que: 8 ¸ 2 ¹

2 ¸ 8.

c.-) La división de números reales no es asociativa: observa que:

(16 ¸ 4) ¸ 2 = 4 ¸ 2 = 2

16 ¸ (4 ¸ 2) = 16 ¸ 2 = 8

y como 2 ¹ 8 entonces: (16 ¸ 4) ¸ 2 ¹ 16 ¸ (4 ¸ 2)

d.-) El número real uno (1) es elemento identidad por la derecha para la
división. Observa que el cociente de cualquier número real a entre 1 es
igual al número a: a ¸ 1 = a

pero 1 no es elemento identidad por la izquierda:

e.-) El divisor en una división siempre debe se diferente de cero.

Ejercicios de aplicación:

 Determinar la propiedad asociativa de estos números racionales

20
 Determinar las siguientes potencias

a.-

b.-

c.-

d.-

Leyes de la lógica

Idempotencia: es la propiedad para realizar una acción

determinada varias veces y aún así conseguir el mismo resultado que se
obtendría si se realizase una sola vez. Un elemento que cumple esta
propiedad es un elemento idempotente. De esta manera, si un elemento
al multiplicarse por sí mismo sucesivas veces da él mismo, este elemento
es idempotente. Por ejemplo, los dos únicos números reales que son
idempotentes son 0 y 1.

Formalmente, si S es un magma, es decir, un conjunto con una

operación binaria * , entonces un elemento se dice idempotente si s
* s = s. Si todo s fuese idempotente bajo * , entonces la operación en sí se
denominaría operación idempotente.

21
 En particular, cualquier elemento identidad es un idempotente bajo
*.

En álgebra conjuntista, las operaciones de unión e intersección de

conjuntos son idempotentes. En efecto, la unión o intersección de un
conjunto consigo mismo, entregan como resultado el conjunto mismo.

Análogamente, en álgebra booleana, los operadores Y (and, )yO

(or, ) son idempotentes. En efecto, si V=Verdadero, F=Falso:

. Análogamente para F.

En álgebra lineal, la proyección es idempotente. Es decir, cualquier

matriz que proyecta todos los vectores sobre un subespacio V (no
necesariamente ortogonalmente) es idempotente, si V mismo está fijo
punto por punto.

Una función f de un conjunto M a sí mismo se llama idempotente si

se cumple que para la composición de funciones, , es decir:

, es decir: Esto es equivalente a decir que

f(x) = x, también para todo x en f (M).

Ejemplos triviales de funciones idempotentes en S son la función

identidad y las funciones constantes. Ejemplos menos triviales son el
valor absoluto y la función que asigna a cada subconjunto U de un cierto
espacio topológico X la clausura de U. La última es una función
idempotente en el conjunto de partes de X. Es un ejemplo de operador de
clausura; todos los operadores de clausura son funciones idempotentes.

Un anillo en el cual la multiplicación es idempotente ( )

se llama anillo de Boole. Puede ser demostrado que en cada tal anillo, la
multiplicación es conmutativa, y cada elemento es su propio inverso
aditivo.

22
Ley de identidad de la Unión

1. Relativas al Universo

Si se tiene un conjunto caracterizado como A, de antemano para

realizar su análisis es necesario definir que pertenece al universo, por
tanto se deberá realizar la unión de A versus el universo se comprende
que el conjunto A estando contenido en el universo no adicionará ningún
elemento nuevo contenido en los que ya existen en el universo.

Ley de identidad de la intersección relativa al universo

A intersectado con el universo: para un conjunto A intersectado

con un supraconjunto que lo contiene y es denominado universo la
intersección arrojara como elemento común los valores encontrados en el
conjunto A.

Ley de identidad de la unión relativa al vacío

A partir de dos conjuntos uno valorado como A y el otro sin

elemento alguno por tanto vació la unión entre ambos será el conjunto A,
sabiendo que conjunto vacío no contienen elementos.

AU Ø= A

23
Ley de identidad de la interacción relativa al vacío

Cuando un conjunto definido como A debe ser intersectado con

un conjunto sin elementos no aplica ningún elemento que pueda
entenderse como común entre ambos, pues el vacío carece de
elementos.

A∩ Ø= Ø

Ley de Complementación de la Unión

Teniendo un conjunto determinado como A perteneciente al

universo y que es necesario unir con los elementos que no se encuentran
contenidos en ese conjunto pero que existen dentro del universo será
evidente que el resultado será el universo.

AUA’= μ

Ley de Complementación de la intercepción

Si se intenta realizar la intersección de un conjunto A y todos los

elementos que no están contenidos en el pero también perteneciente al
universo, se observa que los elementos no perteneciente a A no tienen
ningún elemento común con A’, por tanto la resolución arrojará vacío.

A∩A’= Ø

Ley de Involución o doble complemento

Si un conjunto A es negado o complementado los valores

resultantes no estarán contenidos en A, ahora bien si se intenta realizar
nuevamente la negación del conjunto A’ obtendremos que los valores que

24
no están en A’ están en A. por tanto la Ley de involución o doble
complemento determina el conjunto inicial es decir A.

(A’)’= a

Ley de Absorción de la Unión

Se tienen dos conjuntos con A Y B pertenecientes al universo,

donde en primera instaría A intersectado al conjunto B (A∩B) y luego a la
resolución anterior se le aplicará la unión con el conjunto A que
previamente había sido intersectada con el conjunto B

Si se sabe que ambos conjuntos están definidos dentro del

universo para cualquiera que sean los elementos de conjunto A al ser
intersectados al conjunto B la Evaluación dará como resultado los
elementos que fueren comunes entre A y B.

Ley de Absorción de la intersección.

A partir de dos conjuntos identificados A y B donde en primer

termino se debe realizar la unión de ambos conjuntos y luego el resultado
determinado por la expresión anterior se interceptará con el conjunto A. si
A se une a B, en el caso min. Términos se tendrá un conjunto equivalente
A o equivalente a B, para este caso el conjunto A, puede ser igual al
conjunto B el conjunto A= B, A, puede estar contenido dentro de B o B
dentro de A, para el caso de máx. Términos A y B pueden tener algunos
elementos en común o no. Observemos que al interceptarse el valor
resultante con A, valor este que tiene contenido A será el resultado final el
valor de A, valor este que tiene contenido porque el conjunto A
interceptado con el otro conjunto tendrán valores comunes con el otro
conjunto contenido solo en A.
A∩(AUB)=A

25
Ley de Absorción de la intersección

Dos conjuntos identificados A y B, en primer termino se debe realizar

la unión de ambos conjuntos y luego el resultado determinado por la expresión
anterior se interceptará con el conjunto A. si A se une a B, en el caso min.
Términos se tendrá un conjunto equivalente A o equivalente a B, para este caso el
conjunto A, puede ser igual al conjunto B el conjunto A= B, A, puede estar
contenido dentro de B o B dentro de A, para el caso de máx. Términos A y B
pueden tener algunos elementos en común o no. Observemos que al interceptarse
el valor resultante con A, valor este que tiene contenido A será el resultado final el
valor de A, valor este que tiene contenido porque el conjunto A interceptado con
el otro conjunto tendrán valores comunes con el otro conjunto contenido solo en
A.

Leyes de Morgan

Las demostraciones de estas leyes se realizan por las tablas de

pertenencia, semejantes a las tablas de verdad en la Lógica
proposicional:

Puede verse el isomorfismo entre la suma lógica de clases y la

disyunción de proposiciones, así como del producto lógico y la conjunción.

26
La diferencia simétrica con la disyunción exclusiva y entre la clase
complementaria y la negación.

Deducciones

Razonamiento deductivo: Es todo razonamiento en que se exige

que la conclusión se siga o se desprenda necesariamente de las
premisas; supuesta la verdad de las premisas, la conclusión debe ser
forzosamente verdadera en virtud de la sola forma del razonamiento.

Ejemplos:
Todo parisiense es francés.

Todo francés es europeo.

Todo parisiense es europeo.

Inferencias inmediatas y mediatas

Todo razonamiento supone una inferencia, es decir, un paso, un

salto mental que va de las premisas a la conclusión y que suele indicarse
en el lenguaje a través de expresiones tales como: por lo tanto, luego, en
consecuencia, etc. El razonamiento deductivo presenta dos tipos de
inferencias.

En la inferencia inmediata se deriva la conclusión sobre la base de

una sola premisa. Ejemplo: Todo rueda; luego, la Tierra rueda. En la
inferencia mediata la conclusión se deriva sobre la base de dos o más
premisas. Ejemplo: Todos los cuerpos tienen peso; la molécula es un
cuerpo; por consiguiente, la molécula tiene peso. Si hubieras querido ser

27
sincero, habrías dicho la verdad, o al menos, habrías callado. No dijiste la
verdad. Tampoco guardaste silencio. Luego, no quisiste ser sincero.

Tipos de Inferencia Inmediata:

Inferencia inmediata por conversión

La conversión es un tipo de inferencia inmediata que se caracteriza

por obtener como conclusión un juicio cuyo sujeto y predicado son idén-
ticos al predicado y el sujeto de la premisa, respectivamente.

Forma general de la conversión

S es P (convertiente)
P es S (conversa)

En la conversión se mantiene la cualidad de los juicios; en cuanto a

la cantidad, ello depende del tipo de juicio que sea la convertiente, es
decir, la premisa. Los juicios I y E mantienen su cantidad en la conversión
( que se llama, en este caso, conversión simple)

Ejemplo:
E: Ningún S es P --> Ningún P es S

Ningún europeo es americano. -->Ningún americano es europeo.

Ejemplo:
I: Algún S es P à Algún P es S

Algún científico es europeo. Algún europeo es científico.

Pero el juicio de tipo A no mantiene su cantidad, sino que la

reduce, obteniéndose como conclusión un juicio de tipo I (se habla en
este caso de conversión por limitación), debido a la extensión de su
predicado:

28
Ejemplo:
A: Todo S es P à Algún P es S

Toda manzana es fruta. Alguna fruta es manzana.

En cuanto al juicio de tipo O, no puede convertirse.

Ejemplo:
Algún hombre no es sabio. (No hav conversa.)

Inferencia inmediata por obversión o equipolencia

Otro tipo de inferencia inmediata es la obversión, que procede del

siguiente modo: dado un juicio categórico cualquiera (llamado obvertiente)
, se pasa a otro juicio (llamado obversa) que posee la misma cantidad y el
mismo sujeto que el primero, pero que difiere de él en que tiene cualidad
opuesta y un predicado que es la negación del predicado del primer juicio.
Ejemplo: Algún soldado es valiente; luego, algún soldado no es no
valiente. A veces existe un término especial para el concepto negativo
correspondiente (ejemplo: invertebrado para no-vertebrado) y otras no
(ejemplo: no-blanco; no hay término especial).

La obversión puede practicarse con todos los tipos de proposiciones

categóricas.

OBVERTIENTE: OBVERSA:

Todo S es P (A) Ningún S es no P (E)

Ningún S es P (E) Todo S es no P (A)

Algún S es P (I) Algún S no es no P (O)

Algún S no es p (O) Algún S es no P (I)

29
Inferencia inmediata por contraposición (parcial)

La inferencia inmediata por contraposición (parcial) , se obtiene

aplicando la obversión al juicio del que se parte y luego la conversión al
juicio así obtenido (de donde resulta que la contrapositiva [parcial] de un
juicio es la conversa de su obversa) .

30
 Conclusión

Al desarrollar la investigación podemos decir para concluir que las

reglas básicas de la lógica matemática exigen la elaboración de
enunciados, en los que se definen previamente los conceptos de la
proposición, y predicados o sentencias matemáticas.

Permitiéndonos ampliar los conocimientos a fin de conocer nuevas

formas de resolver problemas en distintas ramas: matemáticas, física,
química pero también en las ciencias sociales y por su puesto cualquier
problema de la vida real. Porque cada vez que nos enfrentamos a un
problema, manipulamos la información por medio de reglas de inferencia
que aunque no estén escritas debemos respetar. Cada vez que
realizamos una actividad empleamos la lógica para realizarla, quizá
algunos realicen dicha actividad por caminos más corto, otros realizan
recorridos más largos, pero al fin de cuentas lo que importa es llegar al
resultado.

31
 Glosario de Términos

Asociativa: Operación binaria * definida en un conjunto no vacío A en la

que para cualesquiera a, b, c Î
A se cumple lo siguiente:
a* b*c ( ) a*b ( )*c . =

Axiomática: es expresión lógica utilizada en una deducción para llegar a

una conclusión. En matemáticas se distinguen dos tipos de axiomas:
axiomas lógicos y axiomas no-lógicos.

Conjunto: es una Estructura de datos que consiste en una colección de

elementos cuyo orden o cantidad de repeticiones no es observado. Es
decir, { 1 2 3 } { 1 3 2 } { 1 2 1 2 3 } son el mismo conjunto.

Conmutativa: es cuando el resultado de la operación es el mismo

cualquiera que sea el orden de los dos elementos con los que se opera.

Distributiva: es una propiedad de operaciones binarias que generalizan

la ley distributiva del algebra. En la matemática la suma de dos o mas
números por uno tercero es igual a la suma de cada sumando por el
tercer numero

Intersección: se llama intersección del conjunto A con el conjunto B al

conjunto formado por todos los elementos pertenecientes al conjunto A y
al conjunto B.

Lógica: es la ciencia de las proposiciones y las demostraciones que se

basan en un razonamiento para llegar a una conclusión, ya sea verdadera
o falsa.

Matemática: es la ciencia de las relaciones espaciales y cuantitativas. Se

trata de relaciones exactas que existen entre cantidades y magnitudes, y
de los métodos por los cuales, de acuerdo con estas relaciones, las

32
cantidades buscadas son deducibles a partir de otras cantidades
conocidas o presupuestas.

Números Irracionales: es cualquier número real que no es racional, es

decir, es un número que no puede ser expresado como una fracción ,

donde m y n son enteros, con n diferente de cero y donde esta fracción es
irreducible.

Números Racionales: es el conjunto de todas las fracciones

equivalentes a una dada. De todas ellas se toma como representante
canónico del número racional en cuestión a la fracción irreducible, la de
términos más sencillos. Las fracciones equivalentes entre sí -número
racional- son una clase de equivalencia, resultado de la aplicación de una
relación de equivalencia al conjunto de números fraccionarios.

Números Reales: es la unión del conjunto de los números racionales y el

conjunto de los irracionales.

Proposición: Expresión enunciativa a la que puede atribuirse un sentido

o función lógica de verdad o falsedad.

Teorema: es una afirmación que puede ser demostrada como verdadera

dentro de un marco lógico. Demostrar teoremas es el juego central en la
matemática.

33
 Bibliografía

 http://www.ricardodiaz.org/archives/2006/11/razonamiento.html
 www.Monografìas.com. Teoremas de conjunto.
 http://es.wikipedia.org/wiki/Idempotente"
 http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=L
%C3%B3gica_matem%C3%A1tica
 http://cablemodem.fibertel.com.ar/coya/formulas/mate/M08.html
 http://es.wikipedia.org/wiki/N%C3%BAmero_irracional

34