P. 1
Logica a y Teoria de Conjuntos

Logica a y Teoria de Conjuntos

|Views: 1.269|Likes:
Publicado porKenny Oñate Quiroz

More info:

Categories:Types, School Work
Published by: Kenny Oñate Quiroz on Aug 23, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

06/26/2014

pdf

text

original

Lógica Matemática y Teoría de Conjuntos.

Lógica matemática y Teoría de Conjuntos.
Llamamos conjunto a una colección de objetos (con determinadas características en común) y a los objetos que lo forman se les llama elementos del conjunto. Llamaremos universo (U) al conjunto que en un momento dado es usado como marco de referencia para formar conjuntos. Un conjunto queda determinado por una colección de atributos que los elementos del universo pueden o no poseer. Así, los elementos del universo que sí posean los atributos requeridos forman el conjunto. Observación: Conjunto y universo son términos no definos. Def.: Diremos que un conjunto está descrito por enumeración si se han dado explícitamente todos sus elementos y está descrito por comprensión si sus elementos están dados en forma implícita mediante una frase que los describa. Pertenencia / NO pertenencia:

x ∈ A (x pertenece al conjunto A): indica que x tiene los atributos que determinan al conjunto A. x ∉ A (x NO pertenece al conjunto A).
La lógica matemática es una variedad de la lógica filosófica. Los objetivos principales de la lógica son esencialmente: 1. Eliminar las ambigüedades propias del lenguaje ordinario. 2. Dar rigor a aquello que se está estudiando. En lógica existen dos procesos fundamentales: 1. Conceptualización: consiste en definir los objetos matemáticos que se van a definir. 2. Demostración: consiste en demostrar rigurosamente aquellas propiedades, proposiciones o teoremas que se estén estudiando. Def.: Se llama proposición a cualquier afirmación que es verdadera (V) o es falsa (F), pero no ambas cosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s, ... Def.: Una proposición abierta (o función proposicional) es una expresión que contiene una variable y que al ser sustituida dicha variable por un valor determinado, hace que la expresión se convierta en una proposición. ((V) ó (F)). p(x); p(x,y,z, ..). Def.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposición abierta, lo llamaremos el Dominio de la variable. Def.: El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la proposición abierta p(x). Ejemplo: Encontrar el conjunto solución de la propiedad abierta p ( x ) : 7 x −1 = 0; x ∈Ν ⇒ =1 7 ; 1 7 ∉ ; 1 7 ∈ . x Ν Q P =∅ Observación: Usando proposiciones abiertas podemos escribir un conjunto por comprensión:
P = x / p ( x )} = x / x e pi o { " s rm;

{

x ∈ + = 2,3,5,7,1 ,1 ,1 ,1 , . Ζ" { 1 3 7 9 ..

}

}

prop.1 abierta p(x)
1

Dominio variable p(x).

Conjunto solución p(x).

Describe los atributos que definirán al conjunto.

38850536.doc

Pag. 1 / 27

Lógica Matemática y Teoría de Conjuntos.

Conectivos lógicos: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente permiten definir “operaciones” en los conjuntos para obtener nuevos conjuntos.

¬

∧ ∨

Tabla conectivos lógicos. Conjunción. “y”. Disyunción. “o”. Condicional. “si p entoces q”. Negación. “no”. Bicondicional. (ó doble implicación). “p si y sólo si q”.

Def.: Dadas dos proposiciones p y q, se llama proposición conjuntiva de p y q, y se escribe p ∧ q , a la proposición que dice "p y q". p ∧ q es verdadera cuando p y q son verdaderas simultáneamente. (Ver: “Tablas de Verdad”). Def.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A intersección B, que denotaremos por A ∩ B como sigue:
A ∩ B = { x / x ∈ A ∧ x ∈ B}

Observación: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces el conjunto solución de “p(x) ∧ q(x)” es P ∩Q . Def.: El conjunto vacío que denotaremos por ∅ es el conjunto que no tiene elementos. Podemos decir que: ∅ = { x / x ∈ A ∧ x ∉ A} Def.: Dadas dos proposiciones p y q, se llama proposición disyuntiva de p y q, y se escribe p ∨ q , a la proposición que dice "p ó q". p ∨ q es verdadera cuando al menos una de ellas lo es. (Ver: “Tablas de Verdad”). Observación: De la tabla de verdad de la disyunción (Ver: “Tablas de Verdad”) se deduce que en lógica, la disyunción significa y/o (NO exclusivo). Def.: Sean A y B dos conjuntos, entonces definimos el conjunto A unión B que denotaremos por como sigue: A ∪ B = { x / x ∈ A ∨ x ∈ B}

A∪ B

Observación: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces P ∪Q es el conjunto solución de la proposición “p(x) ∨ q(x)”. Ejemplo: Formar la proposición conjuntiva y la disyuntiva; hallar el conjunto solución de las componentes, el conjunto solución de la conjunción y la disyunción. Dominio: M = {−3,− ,− ,0,1,2,3} . 2 1
" x − =" ; " x 2 − =" 1 0 1 0

Proposición conjuntiva:
" p ( x ) ∧ x ) : " x −= ∧ 2 −= q( " 1 0 x 1 0"

Proposición disyuntiva:
" p ( x ) ∨( x ) : " x − = q " 1 0 ∨ 2 − =" x 1 0

Conjunto solución p(x): x = 1 1 Conjunto solución q(x): x =± 1 =±

P = {1}

Q ={− ,1} 1

38850536.doc

Pag. 2 / 27

Lógica Matemática y Teoría de Conjuntos.

q " Conjunto solución " p ( x ) ∧ ( x ) : C = P ∩ Q = {1} " p ( x ) ∨ ( x ) : D = P ∪Q = {−1,1} q " Conjunto solución

Def.: Dadas dos proposiciones p y q, se llama proposición condicional de p y q, y se escribe p ⇒ q , a la proposición que dice "(no p) ó q". p ⇒ q es verdadera cuando q es verdadera, o bien p y q son falsas a la vez. (Ver: “Tablas de Verdad”). Def.: Una palabra o frase que indique cuántos objetos o cosas cumplen con determinada propiedad, se llama un cuantificador. Generalmente, para convertir una proposición abierta (función proposicional) en una proposición, se utilizan los llamados cuantificadores:
x a) Existencial: ∃ ∈D; P ( x ) Y se lee "existe, al menos, un x tal que se verifica P(x)". ! Nota: Para decir "existe un único x tal que P(x)" escribimos: ∃x ∈D; P ( x ) . x D b) Universal: ∀ ∈ ; P ( x ) . Y se lee "para todo x se verifica P(x)".

Observación: Las expresiones cuantificadas universal o existencialmente es una nueva proposición que tiene un valor de verdad que se establece en los siguientes axiomas2 de verdad: i) ii)
x D La proposición “ ∀ ∈ ; P ( x ) ” es falsa si al menos un elemento del dominio D, hace falsa la proposición P(x). x La proposición “ ∃ ∈D; P ( x ) ” es verdadera cuando hay al menos un valor x en el dominio D que haga verdadera3 la proposición P(x) y será falsa si no existe un solo elemento del dominio que haga verdadera a P(x).

Def.: Sean A y B dos conjuntos, diremos que A es un subconjunto de B que escribiremos A ⊂ B , si para toda x que pertenece a A se tiene que x también pertenece a B. Es decir, todos los elementos de A lo son también de B. A ⊂ B ⇔ ∀x, x ∈ A ⇒ x ∈ B Si A no es subconjunto de B, lo denotaremos por A ⊄ B . Observación: Para todo conjunto A: ∅ ⊂ A . Def.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un subconjunto propio de B si y sólo si: a) b)

A⊂ B y A≠ B

x Def.: La proposición ∀ ∈D, p ( x) ⇒q ( x ) es verdadera si y sólo si P ⊂ Q donde P es el conjunto solución de p(x) y Q es el conjunto solución de q(x).

p Def.: Dada una proposición p, se llama proposición negativa (o negación) de p, y se escribe ¬ , a la p afirmación que dice "no p". ¬ es verdadera cuando p es falsa. (Ver: “Tablas de Verdad”).

2 3

Axiomas: afirmaciones que son aceptadas como verdaderas. (aunque existan otros valores del dominio que la hagan falsa).

38850536.doc

Pag. 3 / 27

Lógica Matemática y Teoría de Conjuntos.

Observación: Algunas negaciones más comunes de proposiciones cuantificadas: Proposición Todos Algunos Algunos .... no Ningún Negación Algunos .... no Ningún Todos Algunos

La negación de los cuantificadores es de la siguiente forma:
( x x P a) ¬ ∃ ∈D; P ( x )) ≡ ∀ ∈D; ¬ ( x ) ¬ ∀ ∈D; P ( x )) ≡ ∃ ∈D; ¬ ( x ) ( x x P b)

Def.: Si consideramos a U como el conjunto universo y A ⊂ U , definimos el complemento de A, que denotaremos por A' ó Ac como:
Ac = A' = { x ∈U / x ∉ A}

Observaciones: i) ii) iii) iv)

Si A =U ; A' = ∅

S x ∈ A' sigfica

A ∩ A' = ∅ A ∪ A' = U

que

x∈ U y x ∉A

p s Observación: El conjunto solución de ¬ ( x ) e P ' , donde P es el conjunto solución de p(x).

Ejemplo:

p ( x ) : " x( x +2)( x −3) = 0; x ∈Z " 2 Conjunto solución p(x): P = {0,− ,3} ¬ ( x ) : " x ( x +2)( x −3) ≠0" p
p Conjunto solución ¬ ( x ) : S = { x ∈Z / x ∉P} = P '

Def.: Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia
A − B = { x / x ∈ A y x ∉ B}

A − B como sigue:

Observación: A’ se puede considerar como la diferencia entre U y A. Osea:
A' = U − A = { x / x ∈U y x ∉ A}

Observaciones: 1. Si p ⇒ q es una implicación, entonces q tiene que ser verdadera. 2. Dada p ⇒ q , se dice que p es la hipótesis o premisa de la implicación, y que q es la conclusión o tesis de la implicación. 3. Dada p ⇒ q , se dice que p es condición suficiente de q, y q es condición necesaria de p. 4. Dada p ⇔ q , se dice p es condición necesaria y suficiente de q, y que q es condición necesaria y suficiente de p. 5. Dada p ⇒ q , se dice que: i) p ⇒ q es el teorema directo. Implicación. ¬p ⇒ ¬q es el teorema contrario. ii) Contraria implicación. iii) q ⇒ p es el teorema recíproco. Recíproca implicación.

38850536.doc

Pag. 4 / 27

Lógica Matemática y Teoría de Conjuntos.

iv) ¬q ⇒ ¬p es el teorema contrarecíproco. 6. i) ii)

Contrarrecíproca implicación.

Una condicional y su recíproca no son equivalentes. Observación: si una condicional es cierta, su recíproca puede que sea o no verdadera. Una condicional y su contraria no son equivalentes. Observación: si una condicional es cierta, su contraria puede que sea o no verdadera.

iii) Una condicional y su contrarrecíproca si son equivalentes. Observación: si una condicional es cierta, también su contrarrecíproca lo será. ( p ⇒ q ) ≡ (¬q ⇒ ¬p ) Métodos de demostración de una implicación: Cuando hay que probar que p ⇒ q , tres de los métodos de demostración más utilizados son: 1.Método directo: Consiste en llegar a obtener lo que nos dice la tesis, utilizando únicamente para ello los datos de la hipótesis. 2.Método del contrarecíproco: consiste en probar el teorema contrarecíproco de la implicación, es decir, ¬q ⇒ ¬p . Ejemplo: Encontrar el valor de verdad de la siguiente proposición. Dominio=R.
( p ⇒ q ) ≡ (¬q ⇒ ¬p )
∀ ∈ D; si x 2 ≠ 25 ⇒ x ≠ 5 x
(¬q ⇒ ¬p ) : x = 5 ⇒ x 2 = 25

Proposición: V.

3.Método de reducción al absurdo (o de contradicción): Consiste en probar p ⇒ q demostrando que se cumple lo siguiente: ( p ∧ ¬q ) ⇒ p ó ( p ∧ ¬q ) ⇒ q . Def.: Dadas dos proposiciones p y q, se llama proposición bicondicional de p y q, y se escribe p ⇔ q , a la proposición que dice "(p condicional q) y (q condicional p)". p ⇔ q es verdadera cuando p y q son verdaderas o falsas simultáneamente. (Ver: “Tablas de Verdad”).
x Observación: La proposición ∀ ∈D, p ( x ) ⇔q ( x ) es verdadera si y sólo si P ⊂ Q y Q ⊂ P ( P = Q) .

Tablas de Verdad: Técnica que permite averiguar el valor de verdad de una proposición conociendo los valores de verdad de sus componentes. 2 n , donde n es el número de proposiciones que intervienen.

p
V V F F

q
V F V F

¬ p
F F V V

p ∧q
V F F F

p ∨ q (1
) V V V F

p ⇒ q (2)
V F V V

p ⇔ q (3)
V F F V

(1) NO exclusivo. (2) p: antecedente o hipótesis. q: consecuente o conclusión. p ⇔ q ≡ ( p ⇒ q) ∧ ( q ⇒ p) . (3)

38850536.doc

Pag. 5 / 27

Lógica Matemática y Teoría de Conjuntos.

Observaciones: 1. Def.: Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad. También decimos que dos proposiciones son equivalentes cuando la bicondicional que se forma entre ellas es una tautología y viceversa. 2. Según la tabla de verdad que tiene una proposición, esta se clasifica en tautología, contradicción e indeterminación. Def.: Una proposición se llamará tautología si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es verdadero. Def.: Una proposición será llamada una contradicción si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es falso. Def.: Se dice que una proposición es una indeterminación cuando su tabla de verdad tiene valores de verdadero y de falso. Def.: Una implicación es una condicional de la forma p ⇒ q , tal que es verdadera suponiendo que p es verdadera, y tiene que existir una relación causa-efecto entre p y q. Además, una implicación entre p y q se escribe p ⇒ q , y se lee "p implica a q" ó "si p entonces q". Def.: Una equivalencia es una bicondicional de la forma p ⇔ q , en donde p ⇒ q es una implicación y q ⇒ p es también una implicación. Se escribe p ⇔ q , y se lee "p es equivalente a q" o "p si y sólo si q". Def.: Sean A, B dos conjuntos cualesquiera, diremos que Álgebra Proposiciones / Álgebra Conjuntos. Álgebra de Proposiciones. Leyes de idempotencia. p ∨ p ≡ p Leyes asociativas. Leyes conmutativas. Leyes distributivas. Ley de complemento. Leyes de Morgan. Álgebra de Conjuntos. Leyes de idempotencia. A ∪ A = A Leyes asociativas. Leyes conmutativas.

A = B si y sólo si

A ⊂B y B ⊂A.

( p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) ( p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
p∨q ≡ q∨ p p∧q ≡ q∧ p

p∧ p ≡ p

( A ∪ B) ∪C = A ∪( B ∪C ) ( A ∩ B) ∩C = A ∩( B ∩C )
A ∪ ( B ∩C ) = ( A ∪ B) ∩( A ∪C ) A ∩ ( B ∪C ) = ( A ∩ B) ∪ ( A ∩C )

A∩ A = A

p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) Leyes distributivas. ¬ ¬p ) ≡ p ( p ∨ (q ∧ r ) ≡ ( p ∨ q) ∧ ( p ∨ r )

A∪ B = B∪ A A∩ B = B ∩ A
A∪∅ = A A ∪U = U

Leyes de identidad. Leyes de complemento.

¬( p ∧ q ) ≡ ¬p ∨ ¬q ¬( p ∨ q ) ≡ ¬p ∧ ¬q

A ∩U = A A ∩∅ = ∅
A ∩ A' = ∅

(A ) = A
' '

A ∪ A' = U

U' =∅

Leyes de Morgan.

( A ∪ B )' ( A ∩ B )'

' ∅ =U

= A' ∩ B '

= A' ∪ B '

38850536.doc

Pag. 6 / 27

Lógica Matemática y Teoría de Conjuntos.

Def.: Diremos que hay una correspondencia biunívoca (o uno a uno) entre los conjuntos A y B si y sólo si cada elemento del conjunto A está relacionado con uno y sólo un elemento del conjunto B. Observación: La correspondencia uno a uno entre A y B no es única.
A = {a, e, i, o, u} B = {1,2,3,4,5

}

a e i o u

2 5 1 3 4

a e i o u

3 4 2 1 5

etc.

Def.: Llamaremos una sección del conjunto de los números naturales, que denotaremos por S n al conjunto de los primeros n números naturales, esto es:

S n = {1,2,3,4,...., n} ⊂ Ν
Def.: Si exite una correspondencia uno a uno entre un conjunto A y una sección S n de los naturales, diremos que n es la cardinalidad del conjunto y lo denotaremos por # ( A) = n . Observación: De la definición anterior se deduce que la cardinalidad de un conjunto es el número de elementos de éste. Def.: Diremos que la cardinalidad del conjunto vacío es cero, osea:

# ( ∅ ) = 0 ó #{ } = 0
Def.: Diremos que un conjunto A es finito si existe una correspondencia biunívoca entre el conjunto A y una sección de los naturales S n . Si un conjunto no es finito, lo llamaremos conjunto infinito. Observación: Cuando dos conjuntos no son iguales se pueden presentar dos situaciones que son: 1) A y B son diferentes, pero tienen elementos en común. 2) A y B son diferentes y además A y B no tienen elementos en común, cuando esto sucede diremos que A y B son conjuntos disjuntos. Def.: Dos conjuntos A y B serán conjuntos disjuntos o ajenos si y sólo si A ∩ B = ∅ . Nota.: Mediante el concepto de cardinalidad, diagramas de Venn-Euler y las propiedades de las operaciones de conjuntos (Álgebra de Conjuntos) podremos determinar el número de elementos de un conjunto (problemas de conteo).

38850536.doc

Pag. 7 / 27

Lógica Matemática y Teoría de Conjuntos.

Otro tipo de conjuntos de interés son aquellos conjuntos cuyos elementos son también conjuntos. Si hablamos, por ejemplo, del conjunto de estudiantes de una Univeridad, podemos pensar en el conjunto formado por todos los estudiantes de dicha Universidad. También podemos referirnos al conjunto formado por todas las carreras que se imparten en dicha Universidad. En esta segunda forma de expresar el conjunto, los elementos son a la vez el conjunto formado por el conjunto de estudiantes de cada una de las carreras. Aí, por ejemplo, si denotamos por C = { A / A es una carrera de la Universid ad } . Y si tomamos A = carrera de Psicología, encontramos que: A = { x / x es un estudiante de Psicología } que a la vez es un conjunto. Entonces diremos que C es un conjunto de conjuntos. Def.: Si A es un conjunto cualquiera, definimos el conjunto potencia de A como el conjunto formado por todos los subconjuntos de A y lo denotaremos por P ( A ) . Observación: Si A tiene n elementos, el conjunto potencia de A tendrá 2 n elementos y por esta razón es costumbre denotar al conjunto potencia por 2 A . Osea:
2 A = P ( A ) = { x / x es un subconjunt o de A}

Ejemplo:

C = { a, {b, c}}

P ( C ) = {{ a} , {{b, c}} , { a, { b, c}}, ∅}
fisicanet@interlap.com.ar

www.fisicanet.com www.fisicaweb.com Recopilación del concepto de número. 1 Los números naturales (N) Construcción a partir de N de los números enteros (Z) Construcción a partir de Z de los números racionales (Q) Construcción a partir de Q de los números reales (R) Construcción a partir de R de los números complejos (C) Topología de R Sucesiones y series de números reales

Los números naturales N={0, 1, 2, 3, 4,.....}

Los suponemos bien conocidos. Sirven para contar y ordenar conjuntos finitos. En la función de contar está su origen. Sea f la colección de todos los conjuntos finitos (con finitos elementos), podemos decir que A, B ∈ f son equivalentes cuando se puede establecer una biyección (correspondencia uno a uno) entre ambos. Esto es una relación de equivalencia en f, es decir, es una relación: -Reflexiva: ∀ A ∈ f A ~ A (A equivalente A) -Simétrica: A, B ∈ f , A ~ B ⇒ B ~ A

38850536.doc

Pag. 8 / 27

Lógica Matemática y Teoría de Conjuntos.

-Transitiva: A, B, C ∈ f , A ~ B , B ~ C ⇒ A ~ C Como eso es una relación de equivalencia induce en f una clasificación. Una clasificación de f es una colección de subconjuntos de f disjuntos dos a dos y cuya unión es todo f, es decir una colección de subconjuntos tales que todo elemento está en uno y sólo en uno. ¿Cuáles son las clases que induce la relación ~? Cada clase está formada por un conjunto finito y todos los que son equivalentes a él. Al conjunto de clases se le suele denotar f / ~ (conjunto cociente o de clases de f respec-to a la relación ~) Así que una clase es la formada por todos los conjuntos con un elemento. Otra clase es la formada por dos elementos. Otra clase es la formada por tres elementos. Etc. Bien podemos decir que f / ~ = N Un número natural es lo que tienen en común todos los conjuntos equivalentes a éste. Sea A un conjunto finito. A la clase a la que pertenece A se le suele denotar cardinal de A (card. A). El concepto de número natural no tiene nada que ver con el nombre que se den a ese número (uno, dos, tres,.....) (one, two, three,.....) ni con la forma con la que se representan (1, 2, 3,...) (I, II, III, IV,.....). Decíamos que no sólo conocíamos los números naturales N sino también la estructura algebraica – topológica (N, +, ·, <) (algebraica por las operaciones + y ·, topológica por la relación <) Diremos que conocemos la adición, la multiplicación y el orden en los números N. Es decir, sabemos que esas “cosas” tienen las siguientes propiedades básicas de las que se derivan otras. Adición:A1. Asociativa ∀ a, b, c ∈ N (a + b) + c = a + (b +c) A2. Conmutativa ∀ a, b ∈ N a+b=b+a A3. Elemento neutro ∀ a ∈ N a + 0 = a Multiplicación: M1. Asociativa a · (b · c) = (a · b) · c M2. Conmutativa a · b = b · a M3. Elemento unidad a · 1 = a Adición / multiplicación: AM. Distributiva a · (b + c) = a · b + a · c Ser menor que: O1. Transitiva a < b , b < c ⇒ a < c O2. Antisimétrica a < b , b < a ⇒ a = b O3. Es total ∀ a, b ∈ N a ≠ b ⇒ a < b ó b < a Orden / adición: OA. Compatibilidad del orden / adición a < b a +c < b + c (c ∈ N) Orden / multiplicación: No hemos dicho: - Existencia de opuesto para la adición - Existencia de inverso para la multiplicación - Y otras referentes al orden. Haremos una primera extensión de número que nos dará el opuesto. Una segunda nos dará el inverso. Y una tercera nos dará lo no citado ahora del orden. Sean A y B conjuntos finitos de elementos (A  B ≠ ∅). Cardinal A y cardinal B son dos números naturales (son la clase a la que pertenece A y la clase a la que pertenece B). Pues bien, card. A + card. B = card. (A U B), de aquí sale la suma o adición. El concepto de multiplicación sale de: card. A · card. B = card. (A x B) (A x B es el producto cartesiano de A y B, es decir, el conjunto formado por los pares ordenados (a, b) tales que a ∈ A y b ∈ B). OM. Compatibilidad del orden / multiplicación a < b, 0 < c ⇒ ac < bc

38850536.doc

Pag. 9 / 27

Lógica Matemática y Teoría de Conjuntos.

2

Construcción de los números enteros (Z) a partir de los N

Se trata de construirlos formalmente, pero firmemente anclada la construcción en los problemas de la vida diaria que exigen la existencia de estos nuevos números. Supongamos que tenemos el siguiente estado de cuenta: Haber 7 9 25 Debe 4 23 1

Los números naturales sirven para escribir el haber y el debe, pero no alcanzan a escribir el haber menos el debe, sólo cuando el deber es menor o igual al haber. Entonces a partir de (N, +, ·, <) creamos una nueva herramienta para expresar el saldo, sin perder nada (sólo ganar). Consideramos el conjunto N x N de pares ordenados de números naturales. Definimos en N x N la relación: (a, b) ~ (c, d) ⇔ a + d = b + c Queríamos decir a – b = c – d, pero no podemos decir esto porque no siempre se puede restar en N, así que lo que decimos es aquella que es equivalente. Con lo que sabemos de N vemos inmediatamente que eso es una relación de equivalencia en N x N: es reflexiva ∀ (a, b) ∈ N x N (a, b) ~ (a, b) porque a + b = b + a; es simétrica (a, b) ~ (c, d) ⇒ (c, d) ~ (a, b) porque c + d = b + c ⇒ c + b = d + a; y es transitiva (a, b) ~ (c, d) , (c, d) ~ (e, f) ⇒ (a, b) ~ (e, f) porque a + d = b + c , c +f = d + e ⇒ a + d + c + f = b + c + d +e ⇒ a + f = b + e Por tanto ~ induce una clasificación, por definición el conjunto de números enteros: Z=NxN/~ Un número entero es lo que tienen en común todos los balances con el mismo saldo (tienen en común el saldo): [(0, 4)] = [(2, 6)] = [(1, 5)] =................ Vamos a ver que podemos dotar a Z de una estructura algebraica – topológica análoga a la que tenía N pero con una propiedad importante más, la estructura anterior además se sumergirá en ésta. Es decir, ocurrirá que hay una aplicación inyectiva de N en Z que:

-

i: a∈ N → [(a, b)] ∈ Z tal que: Da lo mismo primero sumar y luego sumergir que al revés

- i (a + b) = i (a) + i (b) - i (a · b) = i (a) · i (b) - i (a < b) = i (a) < i (b) Definición de adición, multiplicación y orden en Z: [(a, b)] + [(c, d)] = [(a + c, b + d)] [(a, b)] · [(c, d)] = [(ac + bd, ad + bc)] [el “truco” (a – b)(c – d) = ac + bd – (ad + bc)] [(a, b)] < [(c, d)] : ⇔ a + d < b + c Lo primero que hay que ver es que esas definiciones no dependen de los representantes utilizados para darlas. Es decir que: (a, b) ~ (a’, b’) | (c, d) ~ (c’, d’) | ⇒ (a + c, b + d) ~ (a’ + c’, b’ + d’) Y esto es cierto porque: a + b’ = b + a’ | c + d’ = d + c’ | ⇒ a +c + b’ + d’ = b + d +a’ + c’ (a, b) ~ (a’, b’) |

-

Para el caso de la multiplicación:

38850536.doc

Pag. 10 / 27

Lógica Matemática y Teoría de Conjuntos.

(c, d) ~ (c’, d’) | ⇒ (ac + bd, ad + bc) ~ (a’c’ + b’d’, a’d’ + b’c’) Y esto es porque: a – b = a’ – b’ | c - d = c’ – d’ | ⇒ ac – ad – bc + bd = a’c’ – a’d’ – b’c’ + b’d’ ⇒

-

⇒ ac + bd + a’d’ + b’c’ = a’c’ + b’d’ + ad + bc Para el orden: (a, b) < (a’, b’) | (c, d) < (c’, d’) | ⇒ a + b’ + c + d’ < b + a’ + d + c’ Esto es porque: a + b’ < b + a’ | c + d’ < d + c’ | ⇒ a + c + b’+ d’ < b + d + a’ + c’ Lo segundo que estas definiciones extienden a las de N, es decir, aquello que antes escribíamos i (a + b) = i(a) + i(b) donde i: a ∈ N → [(a, 0)] ∈ Z En efecto ∀ a, b ∈ N i(a + b) = [(a + b, 0)] i(b) = [(b, 0)]

i(a · b) = [(ab, 0)] i(a) = [(a, 0)] i(b) = [(b, 0)] i(a < b) = a < b i(a) = [(a, 0)] i(b) = [(b, 0)]

i(a) = [(a, 0)]

Lo tercero, es ver las propiedades +, ·, < y ver que tenemos las siguientes propiedades: - La adición en Z es asociativa: [(a, b)] +{[(c, d)] + [(e, f)]} ⇒ [(a, b)] + [(c + e, d + f)] ⇒ ⇒ [(a + (c + e), b + (d + f))] ⇒ [((a + c) + e, (b + d) + f)] ⇒ ⇒ [(a + c, b + d)] + [(e, f)] ⇒ {[(a, b)] + [(c, d)]} + [(e, f)] - La adición en Z es conmutativa: [(a, b)] + [(c, d)] ⇒ [(a + c, b + d)] ⇒ [(c + a, d + b)] ⇒ ⇒ [(c, d)] + [(a, b)] - La adición en Z tiene elemento neutro: [(a, b)] + [(0, 0)] ⇒ [(a, b)] - La multiplicación en Z es asociativa:[(a, b)] · {[(c, d)] · [(e, f)]} ⇒ [(a, b)] · [(ce + df, cf + de)] ⇒ [(ace + adf + bcf + bde, acf + ade + bce + bdf)] ⇒ ⇒ [((ac + bd) e + (ad + bc) f, (ad + bc) e + (ac + bd) f))] ⇒ [(ac + bd, ad + bc)] · [(e, f)] ⇒ ⇒ {[(a, b)] · [(c, d)]} · [(e, f)] - La multiplicación en Z es conmutativa: [(a, b)] · [(c, d)] ⇒ [(ac + bd, ad + bc)] ⇒ ⇒ [(ca + db, da + cb)] ⇒ [(c, d)] + [(a, b)] - La multiplicación en Z tiene elemento unidad: [(a, b)] · [(1, 0)] ⇒ [(a, b)] - Los números Z tienen la propiedad distributiva: [(a, b)] · {[(c, d)] + [(e, f)]} ⇒ ⇒ [(a, b)] [(c + e, d + f)] ⇒ ⇒ [(ac + ae + bd + bf, ad + af + bc + be)] ⇒ [(ac + bd, ad + bc)] + [(ae + bf, af + be)] ⇒ [(a, b)] · [(c, d)] + [(a, b)] · [(e, f)]

38850536.doc

Pag. 11 / 27

Lógica Matemática y Teoría de Conjuntos.

- Transitiva:

[(a, b)] < [(c, d)] , [(c, d)] < [(e, f)] ⇒ a + d < b + c , c + f < d + e ⇒ ⇒ a + d + c + f < b + c + d + e ⇒ a + f < b + e ⇒ [(a, b)] < [(e, f)]

- Antisimétrica: [(a, b)] < [(c, d)] , [(c, d)] < [(a, b)] ⇒ a + d < b + c , c + b < d + a ⇒ ⇒ [(a, b)] = [(c, d)] - Es Total : [(a, b)] ≠ [(c, d)] ⇒ a + d ≠ b + c ⇒ ó a + d < b + c ó ⇒ ó [(a, b)] < [(c, d)] ó [(c, d)] < [(a, b)] - Orden / adición: [(a, b)] < [(c, d)] ⇒ a + d < b + c [(a, b)] + [(e, f)] < [(c, d)] + [(e, f)] ⇒ [(a + e, b + f)] < [(c + e, d + f)] ⇒ ⇒a + e + d + f < b + f + c + e ⇒a + d < b + c - Orden / multiplicación: [(a, b)] < [(c, d)] , [(1, 1)] < [(e, f)] ⇒ [(a, b)] [(e, f)] < [(c, d)] [(e, f)] [(a, b)] < [(c, d)] , [(1, 1)] > [(e, f)] ⇒ [(a, b)] [(e, f)] > [(c, d)] [(e, f)] - Existencia de opuesto [(a, b)] + [(b, a)] = [(a + b, b + a)] = [(1, 1)] Con Z hemos conseguido A4 (existencia de opuesto) pero no M4 (existencia de inverso), es decir, ∀ [(a, b)] ≠ [(1, 1)] ∃ [(c, d)] : [(a, b)] · [(c, d)] = [(1, 0)] Ni que decir tiene que los números Z no se escriben de aquella forma [(a, b)] sino [(3, 31)] = -28. Con lo cual Z = {......., -3, -2, -1, 0, 1, 2, 3, .........} Construcción a partir de Z de los números racionales (Q) 2ª extensión del concepto de número para sin perder nada de lo que tenemos, ganar M4 (existencia de inverso). Los nuevos números son lo racionales. La no-existencia de inverso es equivalente a imposibilidad, en general, de dividir. La división de enteros sólo es factible cuando el dividendo es múltiplo del divisor. La sustracción de naturales sólo lo era cuando el minuendo es igual o mayor que el sustraendo. Ya hemos resuelto en Z este último problema, “restar” en Z es sumar el opuesto. Lo mismo que dividir en Q es multiplicar por el inverso. Para introducir Z nos fijábamos en la relación Haber- deber. Para introducir Q nos fijaremos en repartos dividendo- divisor. De la necesidad de una herramienta para expresar el saldo de un balance nacieron los enteros. De la necesidad de una herramienta para expresar la ración de un reparto nacen los racionales. Consideremos el conjunto Z x (Z –{0}) de pares ordenados de números enteros (el segundo distinto de 0), lo que se reparte entre a quien se reparte ( tartas – niños). Definimos en Z x (Z –{0}) la siguiente relación: (a, b) ~ (c, d) ⇔ a · d = b · c Con lo que sabemos de Z vemos inmediatamente que esto es una relación de equivalencia en Z x (Z –{0}): es reflexiva ∀ (a, b) ∈ Z x (Z –{0}) (a, b) ~ (a, b) porque ab = ba; es simétrica (a, b) ~ (c, d) ⇒ (c, d) ~ (a, b) porque ad = bc ⇒ cb = da; y es transitiva (a, b) ~ (c, d) , (c, d) ~ (e, f) ⇒ (a, b) ~ (e, f) porque ad = bc , cf = de ⇒ adcf = bcde ⇒ af = be. Por definición lo racionales Q = Z x (Z – {0}) / ~ Un número racional es lo que tienen en común todos los repartos con la misma ración (tener en común la ración). {(1, 3), (2, 6), (3, 5), (-1, -3), (-2, -6),.....} = [(1, 3)] = [(-2, -6)] El conjunto Z se sumerge en Q de la siguiente forma: a ∈ Z → [(a, 1)] ∈ Q No solo el conjunto Z se sumerge en Q sino que la estructura se sumerge en una nueva estructura más rica (Q, +, ·, <). Es decir una vez definamos en Q, +, ·, < se verificará: - i(a + b) = i(a) + i(b) - i(a · b) = i(a) · i(b) b + c < a +d ⇒

38850536.doc

Pag. 12 / 27

Lógica Matemática y Teoría de Conjuntos.

- a < b = i(a) < i(b) Definamos la adición, multiplicación y orden en Q: [(a, b)] + [(c, d)] = [(ad + bc, bd)] [(a, b)] [(c, d)] = [(ac, bd)] [(a, b)] < [(c, d)] = ad < bc Damos por bien conocida su estructura (Q, +, ·, <) que acabamos de construir a partir de la (Z, +, ·, <). Es decir suponemos sabido lo siguiente: Que la adición en Q tiene las propiedades: A1 Asociativa: [(a, b)] +{[(c, d)] + [(e, f)]} ⇒ [(a, b)] + [(cf + de, df)] ⇒ ⇒ [(adf + bcf + bde, bdf))] ⇒ [(ad + bc, bd)] + [(e, f)] ⇒ ⇒ {[(a, b)] + [(c, b)]} + [(e, f)] A2 Conmutativa: [(a, b)] + [(c, d)] ⇒ [(ad + bc, bd)] ⇒ [(da + cb, db)] ⇒ ⇒ [(c, d)] + [(a, b)] A3 Existe elemento neutro: [(a, b)] + [(0, 1)] ⇒ [(a, b)] A4 Existe opuesto: [(a, b)] + [(-a, b)] = [(a, b)] + [(a, -b)] = [(0, b)] Que la multiplicación en Q tiene las propiedades: M1 Asociativa: [(a, b)] · {[(c, d)] · [(e, f)]} ⇒ [(a, b)] · [(ce, df)] ⇒ [(ace, bdf)] ⇒ [(ac, bd)] · [(e, f)] ⇒ {[(a, b)] · [(c, d)]} · [(e, f)] M2 Conmutativa: [(a, b)] · [(c, d)] ⇒ [(ac , bd)] ⇒ [(ca, db)] ⇒ [(c, d)] · [(a, b)] M3 Existe elemento unidad: [(a, b)] · [(1, 1)] ⇒ [(a, b)] M4 Existe inverso: [(a, b)] · [(a, b)]-1 ⇒ [(a · a-1, b · b-1)] ⇒ [(1, 1)] (Ganancia respecto a Z) Que el orden es: O1Transitivo: [(a, b)] < [(c, d)] , [(c, d)] < [(e, f)] ⇒ ad < bc , cf < de ⇒ adcf < bcde ⇒ ⇒ af < be ⇒ [(a, b)] < [(e, f)] O2 Antisimétrico: [(a, b)] < [(c, d)] , [(c, d)] < [(a, b)] ⇒ ad < bc , cb < da ⇒ ⇒ [(a, b)] = [(c, d)] O3 Es Total: [(a, b)] ≠ [(c, d)] ⇒ ad ≠ bc ⇒ ó ad < bc ó bc < ad ⇒ ó [(a, b)] < [(c, d)] ó ó [(c, d)] < [(a, b)] AM Distributiva: [(a, b)] · {[(c, d)] + [(e, f)]} ⇒ [(a, b)] · [(cf + de, df)] ⇒ ⇒ [(acf + ade, bdf)] ⇒ [(a, b)] · [(c, d)] + [(a, b)] · [(e, f)] OA Orden / adición: [(a, b)] < [(c, d)] ⇒ ad < bc [(a, b)] + [(e, f)] < [(c, d)] + [(e, f)] ⇒ [(af + be, bf)] < [(cf + de, df)] ⇒ (af + be) · df < bf · (cf + de) ⇒ afdf < bfcf ⇒ ad < bc OM Orden / multiplicación: [(a, b)] < [(c, d)] , [(0, 1)] < [(e, f)] ⇒ ⇒ [(a, b)] [(e, f)] < [(c, d)] [(e, f)] Un propiedad más que ya tenían las estructuras anteriores (naturales y enteros), pero que no merecía la pena citar entonces, la propiedad Arquimediana: ∀ [(a, b)], [(c, d)] ∈ Q [(a, b)] < [(0, 1)] ∃ n ∈ N : [(c, d)] < n [(a, b)] Dicho con palabras significa que cualquier número racional positivo sumado consigo mismo tantas veces como sea necesario, se “merienda” a cualquier número. Por las propiedades A1,....., A4 (Q, +) es un grupo conmutativo o abeliano. Por las propiedades A1,....., A4 M1,....., M4 y AM (Q, +, ·) es un cuerpo conmutativo.

38850536.doc

Pag. 13 / 27

Lógica Matemática y Teoría de Conjuntos.

Por las catorce propiedades primeras (Q, +, ·, <) es un cuerpo totalmente ordenado. Por las 15 propiedades es un cuerpo arquimediano. Sin embargo, el cuerpo (Q, +, · <) no es completo. (Q, + ·, <) sirve para contar conjuntos finitos (contiene N), para hacer balances (contiene Z). Para expresar raciones de reparto, pero no sirve para medir (expresar el resultado de la medida). Veamos un ejemplo, el conocido Teorema de Pitágoras. Consideramos un cuadrado de lado 1. No hay ningún número racional a/b que exprese la longitud de la diagonal. Si lo hubiera, sería ( a/b) 2 = 1+1 = 2. “Sabemos” que todo nº racional se puede expresar mediante una fracción a/b, tal que a es primo con b, es decir ay b no tienen ningún divisor en común. Así pues tenemos lo siguiente:

-

a2 = 2b2 ⇒ a2 es par ⇒ a es par, a2 es múltiplo de 4, es decir, a2 = 4c ⇒ 4c=2b2 ⇒ 2c = b2 ⇒ b2 es par ⇒ b es par CONTRADICCION

Tampoco es racional la longitud de la circunferencia de diámetro 1 o el área del círculo de radio 1. El problema más famoso de la matemática era saber qué nº es Π . Los egipcios Π ~ 3,14. A finales del siglo VXIII se probó que Π no es racional y a fines del XIX se probó que no es algebraico ( no es raíz de ningún polinomio de cociente razonable ). Es trascendente.

ALGO MAS DE LO MISMO, SI ALGO SE REPITE NO TE DESANIMES Y SIGUE ADELANTE QUE ENCONTRARAS DATOS MUY INTERESANTES
LÓGICA MATEMÁTICA Y TEORÍA DE CONJUNTOS. Llamamos conjunto a una colección de objetos (con determinadas características en común) y a los objetos que lo forman se les llama elementos del conjunto. Llamaremos universo (U) al conjunto que en un momento dado es usado como marco de referencia para formar conjuntos. Un conjunto queda determinado por una colección de atributos que los elementos del universo pueden o no poseer. Así, los elementos del universo que sí posean los atributos requeridos forman el conjunto. Observación: Conjunto y universo son términos no definidos. Def.: Diremos que un conjunto está descrito por enumeración si se han dado explícitamente todos sus elementos y está descrito por comprensión si sus elementos están dados en forma implícita mediante una frase que los describa. Pertenencia / NO pertenencia:

x ∈ A (x pertenece al conjunto A): indica que x tiene los atributos que determinan al conjunto A. x ∉ A (x NO pertenece al conjunto A).
La lógica matemática es una variedad de la lógica filosófica. Los objetivos principales de la lógica son esencialmente: 1. Eliminar las ambigüedades propias del lenguaje ordinario.

38850536.doc

Pag. 14 / 27

Lógica Matemática y Teoría de Conjuntos.

2. Dar rigor a aquello que se está estudiando. En lógica existen dos procesos fundamentales: 1. Conceptualización: consiste en definir los objetos matemáticos que se van a definir. 2. Demostración: consiste en demostrar rigurosamente aquellas propiedades, proposiciones o teoremas que se estén estudiando. Def.: Se llama proposición a cualquier afirmación que es verdadera (V) o es falsa (F), pero no ambas cosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s, ... Def.: Una proposición abierta (o función proposicional) es una expresión que contiene una variable y que al ser sustituida dicha variable por un valor determinado, hace que la expresión se convierta en una proposición. ((V) ó (F)). p(x); p(x,y,z, ..). Def.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposición abierta, lo llamaremos el Dominio de la variable. Def.: El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la proposición abierta p(x). Ejemplo: Encontrar el conjunto solución de la propiedad abierta p ( x ) : 7 x −1 = 0; x ∈Ν ⇒x =1 7 ; 1 7 ∉ ; 1 7 ∈ . Ν Q P =∅  Observación: Usando proposiciones abiertas podemos escribir un conjunto por comprensión:
P = x / p ( x )} = x / x e pi o { " s rm;

{

x ∈ + = 2,3,5,7,1 ,1 ,1 ,1 , . Ζ" { 1 3 7 9 ..

}

}

prop.4 abierta p(x)

Dominio variable p(x).

Conjunto solución p(x).

Conectivos lógicos: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente permiten definir “operaciones” en los conjuntos para obtener nuevos conjuntos.

¬

∧ ∨

Tabla conectivos lógicos. Conjunción. “y”. Disyunción. “o”. Condicional. “si p entonces q”. Negación. “no”. Bicondicional. (ó doble implicación). “p si y sólo si q”.

Def.: Dadas dos proposiciones p y q, se llama proposición conjuntiva de p y q, y se escribe p ∧ q , a la proposición que dice "p y q". p ∧ q es verdadera cuando p y q son verdaderas simultáneamente. (Ver: “Tablas de Verdad”). Def.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A intersección B, que denotaremos por A ∩ B como sigue:
A ∩ B = { x / x ∈ A ∧ x ∈ B}

Observación: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces el conjunto solución de “p(x) ∧ q(x)” es P ∩Q .
4

Describe los atributos que definirán al conjunto.

38850536.doc

Pag. 15 / 27

Lógica Matemática y Teoría de Conjuntos.

Def.: El conjunto vacío que denotaremos por ∅ es el conjunto que no tiene elementos. Podemos decir que: ∅ = { x / x ∈ A ∧ x ∉ A} Def.: Dadas dos proposiciones p y q, se llama proposición disyuntiva de p y q, y se escribe p ∨ q , a la proposición que dice "p ó q". p ∨ q es verdadera cuando al menos una de ellas lo es. (Ver: “Tablas de Verdad”). Observación: De la tabla de verdad de la disyunción (Ver: “Tablas de Verdad”) se deduce que en lógica, la disyunción significa y/o (NO exclusivo). Ver: "O Exclusivo". Def.: Sean A y B dos conjuntos, entonces definimos el conjunto A unión B que denotaremos por como sigue: A ∪ B = { x / x ∈ A ∨ x ∈ B}

A∪ B

Observación: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces P ∪Q es el conjunto solución de la proposición “p(x) ∨ q(x)”. Ejemplo: Formar la proposición conjuntiva y la disyuntiva; hallar el conjunto solución de las componentes, el conjunto solución de la conjunción y la disyunción. Dominio: M = {−3,− ,− ,0,1,2,3} . 2 1
" x − =" ; " x 2 − =" 1 0 1 0

Proposición conjuntiva:
" p ( x ) ∧ x ) : " x −= ∧ 2 −= q( " 1 0 x 1 0"

Proposición disyuntiva:
" p ( x ) ∨ x ) : " x −= q( " 1 0 ∨ 2 − =" x 1 0

Conjunto solución p(x): x = 1 1 Conjunto solución q(x): x =± 1 =±

P = {1}

Q ={− ,1} 1

q " Conjunto solución " p ( x ) ∧ ( x ) : C = P ∩ Q = {1} " p ( x ) ∨ ( x ) : D = P ∪Q = {−1,1} q " Conjunto solución

Def.: Dadas dos proposiciones p y q, se llama proposición condicional de p y q, y se escribe p ⇒ q , a la proposición que dice "(no p) ó q". p ⇒ q es verdadera cuando q es verdadera, o bien p y q son falsas a la vez. (Ver: “Tablas de Verdad”). Def.: Una palabra o frase que indique cuántos objetos o cosas cumplen con determinada propiedad, se llama un cuantificador. Generalmente, para convertir una proposición abierta (función proposicional) en una proposición, se utilizan los llamados cuantificadores:
x a) Existencial: ∃ ∈D; P ( x ) Y se lee "existe, al menos, un x tal que se verifica P(x)". ! Nota: Para decir "existe un único x tal que P(x)" escribimos: ∃x ∈D; P ( x ) . x D b) Universal: ∀ ∈ ; P ( x ) . Y se lee "para todo x se verifica P(x)".

Observación: Las expresiones cuantificadas universal o existencialmente es una nueva proposición que tiene un valor de verdad que se establece en los siguientes axiomas5 de verdad: iii)
x D La proposición “ ∀ ∈ ; P ( x ) ” es falsa si al menos un elemento del dominio D, hace falsa la proposición P(x).

5

Axiomas: afirmaciones que son aceptadas como verdaderas.

38850536.doc

Pag. 16 / 27

Lógica Matemática y Teoría de Conjuntos.

iv)

x La proposición “ ∃ ∈D; P ( x ) ” es verdadera cuando hay al menos un valor x en el dominio D que haga verdadera6 la proposición P(x) y será falsa si no existe un solo elemento del dominio que haga verdadera a P(x).

Def.: Sean A y B dos conjuntos, diremos que A es un subconjunto de B que escribiremos A ⊂ B , si para toda x que pertenece a A se tiene que x también pertenece a B. Es decir, todos los elementos de A lo son también de B. A ⊂ B ⇔ ∀x, x ∈ A ⇒ x ∈ B Si A no es subconjunto de B, lo denotaremos por A ⊄ B . Observación: Para todo conjunto A: ∅ ⊂ A . Def.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un subconjunto propio de B si y sólo si: c) d)

A⊂ B y A≠ B

x Def.: La proposición ∀ ∈D, p ( x) ⇒q ( x ) es verdadera si y sólo si P ⊂ Q donde P es el conjunto solución de p(x) y Q es el conjunto solución de q(x).

p Def.: Dada una proposición p, se llama proposición negativa (o negación) de p, y se escribe ¬ , a la p afirmación que dice "no p". ¬ es verdadera cuando p es falsa. (Ver: “Tablas de Verdad”).

Observación: Algunas negaciones más comunes de proposiciones cuantificadas: Proposición Todos Algunos Algunos .... no Ningún Negación Algunos .... no Ningún Todos Algunos

La negación de los cuantificadores es de la siguiente forma:
( x x P a) ¬ ∃ ∈D; P ( x )) ≡ ∀ ∈D; ¬ ( x ) ¬ ∀ ∈D; P ( x )) ≡ ∃ ∈D; ¬ ( x ) ( x x P b)

Def.: Si consideramos a U como el conjunto universo y A ⊂ U , definimos el complemento de A, que denotaremos por A' ó Ac como:
Ac = A' = { x ∈U / x ∉ A}

Observaciones: v) vi)
6

Si A =U ; A' = ∅

A ∩ A' = ∅

(aunque existan otros valores del dominio que la hagan falsa).

38850536.doc

Pag. 17 / 27

Lógica Matemática y Teoría de Conjuntos.

vii) viii)

S x ∈ A' sigfica

A ∪ A' = U

que x ∈U y x ∉ A

p s Observación: El conjunto solución de ¬ ( x ) e P ' , donde P es el conjunto solución de p(x).

A Ejemplo:

B

A

B

p ( x ) : " x( x +2)( x −3) = 0; x ∈Z "

Ζ

P 2 Conjunto solución p(x): P = {0,− ,3} ¬ ( x ) : " x ( x +2)( x −3) ≠0"  p
pooi i n. r pscó)

'

( e ai n ngcó

p Conjunto solución ¬ ( x ) : S = { x ∈Z / x ∉P} = P '

Def.: Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia
A − B = { x / x ∈ A y x ∉ B}

A − B como sigue:

Observación: A’ se puede considerar como la diferencia entre U y A. Osea:
A' = U − A = { x / x ∈U y x ∉ A}

P
0. 2 .3 .-

A− B = A

A−B

38850536.doc

Pag. 18 / 27

Lógica Matemática y Teoría de Conjuntos.

A−B
Observaciones:

A−B =∅

B A

A B

1. Si p ⇒ q es una implicación, entonces q tiene que ser verdadera. 2. Dada p ⇒ q , se dice que p es la hipótesis o premisa de la implicación, y que q es la conclusión o tesis de la implicación. 3. Dada p ⇒ q , se dice que p es condición suficiente de q, y q es condición necesaria de p. 4. Dada p ⇔ q , se dice p es condición necesaria y suficiente de q, y que q es condición necesaria y suficiente de p. 5. Dada p ⇒ q , se dice que: i) p ⇒ q es el teorema directo. Implicación. ii) ¬p ⇒ ¬q es el teorema contrario. Contraria implicación. iii) q ⇒ p es el teorema recíproco. Recíproca implicación. iv) ¬q ⇒ ¬p es el teorema contrarecíproco. Contrarrecíproca implicación. 6. iv) Una condicional y su recíproca no son equivalentes. Observación: si una condicional es cierta, su recíproca puede que sea o no verdadera. v) Una condicional y su contraria no son equivalentes. Observación: si una condicional es cierta, su contraria puede que sea o no verdadera.

vi) Una condicional y su contrarrecíproca si son equivalentes. Observación: si una condicional es cierta, también su contrarrecíproca lo será. ( p ⇒ q ) ≡ (¬q ⇒ ¬p )

Métodos de demostración de una implicación: Cuando hay que probar que p ⇒ q , tres de los métodos de demostración más utilizados son: 1.Método directo: Consiste en llegar a obtener lo que nos dice la tesis, utilizando únicamente para ello los datos de la hipótesis.

38850536.doc

Pag. 19 / 27

Lógica Matemática y Teoría de Conjuntos.

2.Método del contrarecíproco: consiste en probar el teorema contrarecíproco de la implicación, es decir, ¬q ⇒ ¬p . Ejemplo: Encontrar el valor de verdad de la siguiente proposición. Dominio=R.
( p ⇒ q ) ≡ (¬q ⇒ ¬p )
∀ ∈ D; si x 2 ≠ 25 ⇒ x ≠ 5 x
(¬q ⇒ ¬p ) : x = 5 ⇒ x 2 = 25

Proposición: V.

3.Método de reducción al absurdo (o de contradicción): Consiste en probar p ⇒ q demostrando que se cumple lo siguiente: ( p ∧ ¬q ) ⇒ p ó ( p ∧ ¬q ) ⇒ q . Def.: Dadas dos proposiciones p y q, se llama proposición bicondicional de p y q, y se escribe p ⇔ q , a la proposición que dice "(p condicional q) y (q condicional p)". p ⇔ q es verdadera cuando p y q son verdaderas o falsas simultáneamente. (Ver: “Tablas de Verdad”).
x Observación: La proposición ∀ ∈D, p ( x ) ⇔q ( x ) es verdadera si y sólo si P ⊂ Q y Q ⊂ P ( P = Q) .

Tablas de Verdad: Técnica que permite averiguar el valor de verdad de una proposición conociendo los valores de verdad de sus componentes. 2 n , donde n es el número de proposiciones que intervienen.

38850536.doc

Pag. 20 / 27

Lógica Matemática y Teoría de Conjuntos.

p
V V F F

q
V F V F

¬ p
F F V V

p ∧q
V F F F

p ∨ q (1
) V V V F

p ⇒ q (2)
V F V V

p ⇔ q (3)
V F F V

(4) NO exclusivo. (5) p: antecedente o hipótesis. q: consecuente o conclusión. (6) p ⇔ q ≡ ( p ⇒ q ) ∧ ( q ⇒ p ) . Observaciones: 1. Def.: Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en todas sus interpretaciones). También decimos que dos proposiciones son equivalentes cuando la bicondicional que se forma entre ellas es una tautología y viceversa. 2. Según la tabla de verdad que tiene una proposición, esta se clasifica en tautología, contradicción e indeterminación. Def.: Una proposición se llamará tautología si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es verdadero. Def.: Una proposición será llamada una contradicción si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es falso. Def.: Se dice que una proposición es una indeterminación cuando su tabla de verdad tiene valores de verdadero y de falso. Def.: Una implicación es una condicional de la forma p ⇒ q , tal que es verdadera suponiendo que p es verdadera, y tiene que existir una relación causa-efecto entre p y q. Además, una implicación entre p y q se escribe p ⇒ q , y se lee "p implica a q" ó "si p entonces q". Def.: Una equivalencia es una bicondicional de la forma p ⇔ q , en donde p ⇒ q es una implicación y q ⇒ p es también una implicación. Se escribe p ⇔ q , y se lee "p es equivalente a q" o "p si y sólo si q". Def.: Sean A, B dos conjuntos cualesquiera, diremos que

A = B si y sólo si

A ⊂B y B ⊂A.

Álgebra Proposiciones / Álgebra Conjuntos. Álgebra de Proposiciones. Leyes de idempotencia. p ∨ p ≡ p Álgebra de Conjuntos. Leyes de idempotencia. A ∪ A = A

38850536.doc

Pag. 21 / 27

Lógica Matemática y Teoría de Conjuntos.

Leyes asociativas. Leyes conmutativas. Leyes distributivas. Ley de complemento. Leyes de Morgan.

( p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) ( p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
p∨q ≡ q∨ p p∧q ≡ q∧ p

p∧ p ≡ p

Leyes asociativas. Leyes conmutativas.

( A ∪ B) ∪C = A ∪( B ∪C ) ( A ∩ B) ∩C = A ∩( B ∩C )
A ∪ ( B ∩C ) = ( A ∪ B) ∩( A ∪C ) A ∩ ( B ∪C ) = ( A ∩ B) ∪ ( A ∩C )

A∩ A = A

p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) Leyes distributivas. ¬ ¬p ) ≡ p ( p ∨ (q ∧ r ) ≡ ( p ∨ q) ∧ ( p ∨ r )

A∪ B = B∪ A A∩ B = B ∩ A
A∪∅ = A A ∪U = U

Leyes de identidad. Leyes de complemento.

¬( p ∧ q ) ≡ ¬p ∨ ¬q ¬( p ∨ q ) ≡ ¬p ∧ ¬q

A ∩U = A A ∩∅ = ∅
A ∩ A' = ∅
U' =∅

(A ) = A
' '

A ∪ A' = U

Leyes de Morgan.

( A ∪ B )' ( A ∩ B )'

' ∅ =U

= A' ∩ B '
= A' ∪ B '

Def.: Diremos que hay una correspondencia biunívoca (o uno a uno) entre los conjuntos A y B si y sólo si cada elemento del conjunto A está relacionado con uno y sólo un elemento del conjunto B. Observación: La correspondencia uno a uno entre A y B no es única.
A = {a, e, i, o, u} B = {1,2,3,4,5

}

a e i o u

2 5 1 3 4

a e i o u

3 4 2 1 5

etc.

Def.: Llamaremos una sección del conjunto de los números naturales, que denotaremos por S n al conjunto de los primeros n números naturales, esto es:

S n = {1,2,3,4,...., n} ⊂ Ν
Def.: Si existe una correspondencia uno a uno entre un conjunto A y una sección S n de los naturales, diremos que n es la cardinalidad del conjunto y lo denotaremos por # ( A) = n . Observación: De la definición anterior se deduce que la cardinalidad de un conjunto es el número de elementos de éste. Def.: Diremos que la cardinalidad del conjunto vacío es cero, osea:

# ( ∅ ) = 0 ó #{ } = 0
Def.: Diremos que un conjunto A es finito si existe una correspondencia biunívoca entre el conjunto A y una sección de los naturales S n . Si un conjunto no es finito, lo llamaremos conjunto infinito.

Observación: Cuando dos conjuntos no son iguales se pueden presentar dos situaciones que son:

38850536.doc

Pag. 22 / 27

Lógica Matemática y Teoría de Conjuntos.

3) A y B son diferentes, pero tienen elementos en común. U U

A

B

B

A

A ≠ B (N O ajenos).

A ≠ B (B ⊂ A )

(N O ajenos).

4) A y B son diferentes y además A y B no tienen elementos en común, cuando esto sucede diremos que A y B son conjuntos disjuntos. Def.: Dos conjuntos A y B serán conjuntos disjuntos o ajenos si y sólo si A ∩ B = ∅ .

U A B

A ≠ B (D JU T S IS N O

).

Nota.: Mediante el concepto de cardinalidad, diagramas de Venn-Euler y las propiedades de las operaciones de conjuntos (Álgebra de Conjuntos) podremos determinar el número de elementos de un conjunto (problemas de conteo). Otro tipo de conjuntos de interés son aquellos conjuntos cuyos elementos son también conjuntos. Si hablamos, por ejemplo, del conjunto de estudiantes de una Universidad, podemos pensar en el conjunto formado por todos los estudiantes de dicha Universidad. También podemos referirnos al conjunto formado por todas las carreras que se imparten en dicha Universidad. En esta segunda forma de expresar el conjunto, los elementos son a la vez el conjunto formado por el conjunto de estudiantes de cada una de las carreras. Aí, por ejemplo, si denotamos por C = { A / A es una carrera de la Universid ad } . Y si tomamos A = carrera de Psicología, encontramos que: A = { x / x es un estudiante de Psicología } que a la vez es un conjunto. Entonces diremos que C es un conjunto de conjuntos. Def.: Si A es un conjunto cualquiera, definimos el conjunto potencia de A como el conjunto formado por todos los subconjuntos de A y lo denotaremos por P ( A ) . Observación: Si A tiene n elementos, el conjunto potencia de A tendrá 2 n elementos y por esta razón es costumbre denotar al conjunto potencia por 2 A . Osea:
2 A = P ( A ) = { x / x es un subconjunt o de A}

Ejemplo:

C = { a, {b, c}}

P ( C ) = {{ a} , {{b, c}} , { a, { b, c}}, ∅}

38850536.doc

Pag. 23 / 27

Lógica Matemática y Teoría de Conjuntos.

"O" EXCLUSIVO.

Definimos Tabla de Verdad para p • q ("O" EXCLUSIVO).

p
V V F F

q
V F V F

p•q
F V V F

y queremos demostrar (la equivalencia) mediante Tablas de Verdad que:
p • ≡ q ( p ∧ ) ∨p ∧ ¬ (¬ q ) q

p
V V F F

q
V F V F

¬ ¬q p
F F V V F V F V

( p ∧ ¬ ) (¬ ∧ q ) ( p ∧ ¬q ) ∨ (¬p ∧ q ) q p

F V F F

F F V F

F V V F

Decimos que las dos proposiciones son equivalentes dado que tienen la misma tabla de verdad. "O" NO EXCLUSIVO: IF P OR Q THEN message(OR_VERDADERO) ELSE message(OR_FALSO) END "O" EXCLUSIVO: IF (P AND NOT Q) OR (NOT P AND Q) THEN message(OR_VERDADERO) ELSE message(OR_FALSO) END

38850536.doc

Pag. 24 / 27

Lógica Matemática y Teoría de Conjuntos.

Problema: Se hizo una entrevista a 885 amas de casa y se encontró la siguiente información acerca de ciertos programas de televisión: 600 veían noticieros. 400 veían series policiacas. 620 veían programas deportivos. 195 veían noticieros y series policiacas. 190 veían series policiacas y deportivos. 400 veían noticieros y deportivos.

Y todos ven al menos uno de estos tres programas. Determinar cuántas de las entrevistadas ven los tres tipos de programas mencionados. Solución: Sea

U = { p e r s oe n at rs edv a} i s #t(U ) = 8 8 5 a N = { p e r s o vn ean nso t i c } i e# (rNo) =s 6 0 0 P = { p e r s o vn eap nso l i c } i a# (cPo) = s 4 0 0 D = { p e r s o vn ead nse p o r} t # (vDo = s6 2 0 i )

# ( N ∩P ) = 195
# ( P ∩D) = 190 # ( N ∩D ) = 400 # ( P ∪D ∪ N )' = 0

Sea x =# ( N ∩ D ∩ P )

38850536.doc

Pag. 25 / 27

Lógica Matemática y Teoría de Conjuntos.

Además tenemos que:
# P −( N ∪ ) = 4 0 −1 5 −x + x + 9 −x D 0 9 10

= 400 −195 −190 + x = 15 + x
OJO Conjunto Diferencia
# D −( P ∪N ) =6 0 − 4 0 −x +x + 9 −x 2 0 10

=6 0 − 5 0 −x 2 9

= 620 − 590 + x = 30 + x
# N −( P ∪D ) = 6 0 −1 5 −x +x +4 0 −x 0 9 0
=6 0 −1 5 +4 0 −x 0 9 0

=6 0 − 5 5 −x 0 9

=5+x

38850536.doc

Pag. 26 / 27

Lógica Matemática y Teoría de Conjuntos.

Así:

885 = 600 + (15 + x) + (190 − x) + (30 + x) = 835 x

885 − 835 = x
5 =x 0

Entonces el número de personas que ven los tres programas son 50.

Jaime Martínez Rubio. e-mail: jaimemtnezrubio@yahoo.com jaume.martinez@grupobbva.com

22 de August de OOOO

38850536.doc

Pag. 27 / 27

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->