Вы находитесь на странице: 1из 33
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA

ALGEBRA y ALGEBRA LINEAL

520142

Primer Semestre

ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA

CAPITULO I LOGICA Y CONJUNTOS.

DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción

Lógica
Lógica

“La lógica es la herramienta con que se construye el edificio llamado Matemática

Conceptos primitivos
Conceptos primitivos
el edificio llamado Matemática ” Conceptos primitivos Los valores de verdad VERDADERO ( V ) y

Los valores de verdad VERDADERO ( V ) y FALSO ( F ) son los conceptos primitivos de la lógica.

Proposición
Proposición

Una proposición es una sentencia (expresión) sujeta a un valor de verdad.

Usualmente se denotan por letras minúsculas p , q , r , s , etc.

2
2
Lógica
Lógica
Ejemplos
Ejemplos

¿ Cuáles de las siguientes afirmaciones son proposiciones ? ¿ Es esto verdadero ? Hoy es martes 10 es un número primo El sol y el cielo Todos los alumnos de este curso son estudiosos La realidad de la vida

es martes 10 es un número primo El sol y el cielo Todos los alumnos de
es martes 10 es un número primo El sol y el cielo Todos los alumnos de
es martes 10 es un número primo El sol y el cielo Todos los alumnos de
es martes 10 es un número primo El sol y el cielo Todos los alumnos de
es martes 10 es un número primo El sol y el cielo Todos los alumnos de
es martes 10 es un número primo El sol y el cielo Todos los alumnos de
es martes 10 es un número primo El sol y el cielo Todos los alumnos de
3
3
Lógica
Lógica
Conectivos lógicos
Conectivos lógicos
Lógica Conectivos lógicos Un conectivo lógico es una operación que nos permite obtener nuevas proposiciones a

Un conectivo lógico es una operación que nos permite obtener nuevas proposiciones a partir de otras dadas. Los conectivos básicos son:

negación( ∼ ) (“no”)

()

(“no”)

conjunción( ∧ ) (“y”)

()

(“y”)

disyunción( ∨ ) (“o”)

()

(“o”)

condicional) (“y”) disyunción ( ∨ ) (“o”) bicondicional ( → ) ( ↔ ) , entonces”)

bicondicional(“y”) disyunción ( ∨ ) (“o”) condicional ( → ) ( ↔ ) , entonces”) (“si

( )

()

, entonces”)

(“si y sólo si”)

4
4
Lógica
Lógica
Tipos de proposiciones
Tipos de proposiciones
Lógica Tipos de proposiciones Las proposiciones se clasifican en simples y compuestas , vale decir, las

Las proposiciones se clasifican en simples y compuestas, vale decir, las que no incluyen conectivos lógicos, y las que sí los incluyen.

Valores posibles de dos proposiciones dadas
Valores posibles de dos proposiciones dadas
p q V V V F F V F F
p
q
V
V
V
F
F
V
F
F
5
5
Lógica
Lógica
Negación (∼ )
Negación (∼ )
Lógica Negación (∼ ) Dada una proposición p , se llama negación de p , y

Dada una proposición p , se llama negación de p , y se escribe p , a la proposición “no p ”. Esto significa que p es V si p es F , y p es F si p es V .

TABLA DE VERDAD

p

p

V

F

F

V

6
6
Lógica
Lógica
Conjunción (∧ )
Conjunción (∧ )
Lógica Conjunción (∧ ) Dadas dos proposiciones p y q , la conjunción de ellas es

Dadas dos proposiciones p y q , la conjunción de ellas es la proposición “p y q ”, la cual se escribe p q . La proposición p q es V si ambas lo son, y p q es F si al menos una de ellas lo es.

TABLA DE VERDAD

p

q

p q

V

V

V

V

F

F

F

V

F

F

F

F

7
7
Lógica
Lógica
Disyunción (∨ )
Disyunción (∨ )
Lógica Disyunción (∨ ) Dadas dos proposiciones p y q , la disyunción de ellas es

Dadas dos proposiciones p y q , la disyunción de ellas es la proposición “p o q ”, la cual se escribe p q . La proposición p q es V si al menos una de ellas lo es, y p q es F si ambas lo son.

TABLA DE VERDAD

p

q

p q

V

V

V

V

F

V

F

V

V

F

F

F

8
8
Lógica
Lógica
Condicional (→)
Condicional (→)

Dadas dos proposiciones p y q , la condicional de ellas es la proposición “si p entonces q ”, la cual se escribe p q . Aquí, p se llama antecedente y q consecuente. También, p q se lee “p es condición suficiente para q ”, o bien “q es condición necesaria para p ”. La proposición p q es F

sólo si p es V

y q es F .

TABLA DE VERDAD

p

q

p q

V

V

V

V

F

F

F

V

V

F

F

V

es V y q es F . TABLA DE VERDAD p q p → q V
9
9
Lógica
Lógica
Bicondicional (↔)
Bicondicional (↔)
Lógica Bicondicional (↔) Dadas dos proposiciones p y q , la bicondicional de ellas es la

Dadas dos proposiciones p y q , la bicondicional de ellas es la proposición “p si y sólo si q ”, la cual se escribe p q . También, p q se lee “p es condición necesaria y suficiente para q ”. La proposición p q es V sólo si ambas proposiciones tienen el mismo valor de verdad.

TABLA DE VERDAD

p

q

p q

V

V

V

V

F

F

F

V

F

F

F

V

10
10
Lógica
Lógica
Definiciones varias
Definiciones varias

Una proposición se dice una:

Lógica Definiciones varias Una proposición se dice una: TAUTOLOGIA (o TEOREMA LOGICO ), si ella es

TAUTOLOGIA (o TEOREMA LOGICO ), si ella es siempre V , cualesquiera sean los valores de (o TEOREMA LOGICO), si ella es siempre V , cualesquiera sean los valores de verdad de las proposiciones simples que la componen, es decir, si su tabla de verdad sólo contiene valores V .

CONTRADICCION, si ella es siempre F . , si ella es siempre F .

CONTINGENCIA, si no es tautología ni contradicción. , si no es tautología ni contradicción.

11
11
Lógica
Lógica
Implicación lógica
Implicación lógica
Lógica Implicación lógica Dadas dos proposiciones p y q , se dice que p implica lógicamente

Dadas dos proposiciones p y q , se dice que p implica lógicamente q , si la proposición p q es siempre verdadera. En tal caso se escribe p q y se lee “p implica q ”.

Equivalencia lógica
Equivalencia lógica

Dadas dos proposiciones p y q , se dice que ellas son lógicamente equivalentes, si la proposición p q es siempre verdadera. En tal caso se escribe p q y se lee “p es equivalente a q ”.

12
12
Lógica
Lógica
Algunas tautologías importantes ∼ ( ∼ p ) ⇔ p (doble negación)
Algunas tautologías importantes
∼ ( ∼ p )
p
(doble negación)
importantes ∼ ( ∼ p ) ⇔ p (doble negación) ∧ q p ⇔ q ∧

q q

p

q p (conmutatividad de )

q q

p

q p

(conmutatividad de )

q q

p

q p

(conmutatividad de )

( q ∨ r ) ( q r )

( q ∧ r ) ( q r )

( q ↔ r ) ( q r )

p

p

p

( p q ) r ( p q ) r ( p q ) r

(asociatividad de )

(asociatividad de )

(asociatividad de )

13
13
Lógica
Lógica
Lógica Algunas tautologías importantes (continuación) p ∧ ( q ∨ r ) ⇔ ( p ∧
Algunas tautologías importantes (continuación)
Algunas tautologías importantes
(continuación)
p ∧ ( q ∨ r ) ⇔ ( p ∧ q ) ∨ (

p

( q r )

( p q ) ( p r )

(distributividad de con respecto a )

p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧ (

p

( q r )

( p q ) ( p r )

(distributividad de con respecto a )

∼ ( p ∧ q ) ⇔ ∼ p ∨ ∼ q (Ley de De

( p q )

⇔ ∼ p ∨ ∼ q

(Ley de De Morgan para )

∼ ( p ∨ q ) ⇔ ∼ p ∧ ∼ q (Ley de De

( p q )

⇔ ∼ p ∧ ∼ q

(Ley de De Morgan para )

∼ ( p → q ) ⇔ p ∧ ∼ q

( p q )

p ∧ ∼ q

p → q ⇔ ∼ q → ∼ p (contrarecíproca)

p

q

q → ∼ p

(contrarecíproca)

p → q ⇔ ∼ p ∨ q  

p

q

⇔ ∼ p q

 
p ↔ q ⇔ ( p → q ) ∧ ( q → p )

p

q

( p q ) ( q p )

p ↔ q ⇔ ( ∼ p ∧ ∼ q ) ∨ ( p ∧

p

q

( p ∧ ∼ q ) ( p q )

14
14
Lógica
Lógica
Función proposicional
Función proposicional
Lógica Función proposicional Se llama función proposicional (o enunciado abierto ) a una expresión p que

Se llama función proposicional (o enunciado abierto) a una expresión p que contiene una o más variables, y tal que ella se convierte en una proposición lógica cuando se le asignan valores específicos a dichas variables.

Conjunto de validez
Conjunto de validez

Se llama Conjunto de validez de una función proposicional p , y se denota por V p , al conjunto de valores (o n-uplas de valores) para los cuales dicha función es verdadera.

Ejercicio
Ejercicio

Analice la siguiente proposición:

Si un número natural es divisible por dos y tres, entonces es divisible por

seis.

15
15
Lógica
Lógica
Cuantificadores lógicos
Cuantificadores lógicos
Lógica Cuantificadores lógicos Para indicar que una función proposicional es verdadera para cualquier elemento de un

Para indicar que una función proposicional es verdadera para cualquier elemento de un determinado conjunto A se usa el símbolo ∀ , verdadera para cualquier elemento de un determinado conjunto A se usa el símbolo , el cual se llama cuantificador universal.

se lee:

“para todo”, “cualquiera sea”, “para cada”.

Para indicar que una función proposicional es verdadera para algunos elementos de un determinado conjunto A se usa el símbolo ∃ , verdadera para algunos elementos de un determinado conjunto A se usa el símbolo , el cual se llama cuantificador existencial.

se lee:

“existe (un)”, “existe al menos un”, “existe algún”.

Para indicar que una función proposicional es verdadera para un único elemento de un determinado conjunto A se usa el símbolo ∃ verdadera para un único elemento de un determinado conjunto A se usa el símbolo !.

! se lee:

“existe un único”.

16
16
Lógica
Lógica
Más sobre cuantificadores lógicos
Más sobre cuantificadores lógicos
Lógica Más sobre cuantificadores lógicos Sean A un conjunto y p una función proposicional que depende

Sean A un conjunto y p una función proposicional que depende de una variable x (en tal caso se escribe p ( x)).

x ∈ A : p ( x ) x A : p ( x)

se lee

para todo x en A, p ( x) es verdadera”.

x ∈ A : p ( x ) x A : p ( x)

se lee

existe x en A tal que p ( x) es verdadera”.

Negaciones importantes
Negaciones importantes

( ∀ x ∈ A : x A :

p ( x))

( x A : p ( x))

( ∃ x ∈ A : x A :

p ( x))

( x A : p ( x))

( ∃ ! x ∈ A : ! x A :

p ( x))

( x A : p ( x) )

( x A, y A, x = y : p ( x) p ( y ) )

17
17
Lógica
Lógica
Teoremas y demostraciones
Teoremas y demostraciones
Lógica Teoremas y demostraciones Un teorema es una proposición verdadera de cierta relevancia para una teoría

Un teorema es una proposición verdadera de cierta relevancia para una teoría y cuya verdad debe ser demostrada.

Algunas estructuras de teoremas
Algunas estructuras de teoremas
verdad debe ser demostrada. Algunas estructuras de teoremas Implicación : Si (hipótesis), entonces (tesis) ( H

Implicación: Si (hipótesis), entonces (tesis) (H T ) Métodos de demostración:

Método directo.entonces (tesis) ( H → T ) Métodos de demostración: Métodos indirectos: contra-recíproca ( ∼ T

Métodos indirectos:( H → T ) Métodos de demostración: Método directo. contra-recíproca ( ∼ T → ∼

contra-recíproca ( ∼ T → ∼ H ) . ( T → ∼ H ).

reducción al absurdo ( H ∧ ∼ T ) → ( p ∧ ∼ p ) (contradicción). ( H ∧ ∼ T ) ( p ∧ ∼ p ) (contradicción).

18
18
Lógica
Lógica
Lógica Equivalencia : (Hipótesis) si y sólo si (tesis) ( H ↔ T ) Método de

Equivalencia: (Hipótesis) si y sólo si (tesis) ( H ↔ T ) : (Hipótesis) si y sólo si (tesis) (H T )

Método de demostración: ( H T )

( T H )

Equivalencia de n proposiciones : n proposiciones:

P 1 P 2 ↔ · · · ↔ P n , n > 2 Métodos de demostración

Directo: P 1 ↔ P 2 y P 2 ↔ P 3 , etc. P 1 P 2 y P 2 P 3 , etc.

Usando transitividad: [( P i → P j ) ∧ ( P j → P k )] [(P i P j ) ( P j P k )] ( P i P k ).

(e.g., mostrar que P i P i+1 , i = 1,

n 1, y P n P 1 ).

Discreto: ∀ n ∈ N : p ( n ) Método de demostración: Inducción Matemática. : n N : p ( n) Método de demostración: Inducción Matemática.

La falsedad de una proposición se puede demostrar usando un contra- ejemplo.

19
19
Lógica
Lógica
Ejemplos de demostración:
Ejemplos de demostración:
Lógica Ejemplos de demostración: Proposición 1 : Sea a ∈ N . Si a es par

Proposición 1: Sea a N. Si a es par entonces a 2 es par. Dem. (directa) Hipótesis: a es par

entonces a = 2n para algún n N,

entonces a 2 = (2n) 2 = 4n 2 = 2(2n 2 ),

entonces a 2 es par (pues 2n 2 N), (Q.E.D.)

Proposición 2: Sea a N. Si a 2 es par entonces a es par. Dem. (contradicción) se supone H ∧ ∼ T : a 2 es par y a es impar.

entonces a = 2n + 1 para algún n N,

entonces a 2 = (2n + 1) 2 = 4n 2 + 4n + 1,

entonces a 2 es impar (por Prop. 1 y “suma de nros. pares es par”),

entonces a 2 par y a 2 impar (p ∧ ∼ p ), CONTRADICCION (→←)

20
20
Conjuntos
Conjuntos
Conjuntos Llamaremos conjunto a cualquier colección de objetos determinados y distintos. Los objetos los llamaremos

Llamaremos conjunto a cualquier colección de objetos determinados y distintos. Los objetos los llamaremos elementos del conjunto. Dos conjuntos importantes son el conjunto vacío, que no contiene elementos, y el conjunto universo, que contiene todos los elementos.

Notación
Notación

conjuntos:universo , que contiene todos los elementos. Notación elementos: Los Los A, B, · · ·

elementos:, que contiene todos los elementos. Notación conjuntos: Los Los A, B, · · · a,

Los

Los

A, B, · · ·

a, b, · · ·

pertenece a A : a A:

no pertenece a A : a A:

Conjunto vacío:A, B, · · · a, b, · · · pertenece a A : no pertenece

Conjunto universo:A, B, · · · a, b, · · · pertenece a A : no pertenece

a A

a

a

a / A

φ

U

21
21
Conjuntos
Conjuntos
Observación
Observación

Dado x U y un conjunto A:

Si esta pregunta puede responderse siempre, entonces

se dice que A está bien definido .

¿ x A x / A ?

Maneras de definir un conjunto
Maneras de definir un conjunto
∈ A ∨ x ∈ / A ? Maneras de definir un conjunto Por extensión ,

Por extensión, vale decir mostrando los elementos de A . , vale decir mostrando los elementos de A.

Ejemplo :

A = N := { 1, 2, 3, · · · }

(Números naturales)

Por comprensión, esto es dando una propiedad (o proposición) que caracterice a los elementos del conjunto. , esto es dando una propiedad (o proposición) que caracterice a los elementos del conjunto.

Ejemplo :

Q := a :

b

a, b Z , b = 0 (Números racionales)

22
22
Conjuntos
Conjuntos
Inclusión de conjuntos
Inclusión de conjuntos
Conjuntos Inclusión de conjuntos Dados dos conjuntos A y B , se dice que A es

Dados dos conjuntos A y B , se dice que A es subconjunto de B , y se escribe A B , si todos los elementos de A están también en B , esto es:

A ⊆ B ⇔ ( ∀ x ∈ U : x ∈ A ⇒ x
A ⊆ B
( ∀ x ∈ U : x ∈ A ⇒ x ∈ B )
Propiedades de la inclusión

Dados A, B, C conjuntos, se tiene

φ ⊆ A ⊆ U A U

A ⊆ A A

( A ⊆ B ∧ B ⊆ C ) ⇒ A ⊆ C A B B C ) A C

23
23
Conjuntos
Conjuntos
Igualdad de conjuntos
Igualdad de conjuntos
Conjuntos Igualdad de conjuntos Dados dos conjuntos A y B , se dice que A y

Dados dos conjuntos A y B , se dice que A y B son iguales, y se escribe A = B , si los elementos de A y B coinciden, esto es:

A = B ⇔ ( A ⊆ B ) ∧ ( B ⊆ A) Conjunto
A = B
( A ⊆ B ) ∧ ( B ⊆ A)
Conjunto de las partes de un conjunto dado

Dado un conjunto A, se define el conjunto de las partes de A, y se denota P ( A), como el conjunto de todos los subconjuntos de A, esto es:

Notar que:

P ( A) := { X :

X A }

i)

los elementos de P ( A) son conjuntos;

ii)

P ( A)

= φ ya que φ, A ∈ P ( A).

24
24
Conjuntos
Conjuntos
Operaciones entre conjuntos
Operaciones entre conjuntos
Conjuntos Operaciones entre conjuntos Sea U el conjunto universo, y sean A , B subconjuntos de

Sea U el conjunto universo, y sean A, B subconjuntos de U .

La diferencia de A y B es el conjunto diferencia de A y B es el conjunto

A B := { x U :

(otra notación: A \ B ).

x A

x B }

El Complemento de A con respecto a U , el cual se denota A c (o Complemento de A con respecto a U , el cual se denota A c (o bien A , A), es el conjunto U A, vale decir:

A c := U A = { x

Algunas propiedades
Algunas propiedades

Para todo x ∈ U se tiene: x U se tiene:

φ c = U c = U

( A c ) c = A A c ) c = A

U c = φ

x A

U :

x A }

x A c

25
25
Conjuntos
Conjuntos
Otras operaciones entre conjuntos
Otras operaciones entre conjuntos
Conjuntos Otras operaciones entre conjuntos Sea U el conjunto universo, y sean A , B subconjuntos

Sea U el conjunto universo, y sean A, B subconjuntos de U .

La intersección de A y B , la cual se denota A ∩ B , es intersección de A y B , la cual se denota A B , es el conjunto de todos los elementos comunes a A y B , esto es

A B := { x

U :

x A

x B }

La unión de A y B , la cual se denota A ∪ B , es unión de A y B , la cual se denota A B , es el conjunto de todos los elementos que están en A o en B , esto es

A B := { x U :

x A

x B }

26
26
Conjuntos
Conjuntos
Propiedades de ∩ y ∪
Propiedades de ∩ y ∪
Conjuntos Propiedades de ∩ y ∪ A ∪ A = A , A ∩ A =
A ∪ A = A , A ∩ A = A (idempotencia)

A A = A ,

A A = A

(idempotencia)

A ∪ B = B ∪ A , A ∩ B = B ∩ A

A B = B A ,

A B = B A

(conmutatividad de y )

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

A ( B C ) = (A B ) C

(asociatividad de )

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

A ( B C ) = (A B ) C

(asociatividad de )

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

A ( B C ) = (A B ) ( A C )

(distributividad de con respecto a )

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

A

( B C ) = (A B ) ( A C )

(distributividad de con respecto a )

( A ∪ B ) c = A c ∩ B c (Ley de De

( A B ) c = A c B c

(Ley

de De Morgan)

( A ∩ B ) c = A c ∪ B c (Ley de De

( A B ) c = A c B c

(Ley

de De Morgan)

27
27
Conjuntos
Conjuntos
Más definiciones
Más definiciones
Conjuntos Más definiciones Dos conjuntos A y B se dicen disjuntos si y sólo si A

Dos conjuntos A y B se dicen disjuntos si y sólo si A ∩ B = φ A y B se dicen disjuntos si y sólo si A B = φ .

Dados dos conjuntos no vacíos A y B , se define el Producto Cartesiano de ellos, el cual se denota A y B , se define el Producto Cartesiano de ellos, el cual se denota por A × B , como el conjunto de todos los pares ordenados ( a, b ) tales que a pertenece a A y b pertenece a B , esto es

A × B := { ( a, b ) :

a A

b B }

Dados n conjuntos no vacíos A 1 , A 2 , A 1 , A 2 ,

, A n , se define el Producto

Cartesiano de ellos, el cual se denota por A 1 × A 2 × · · · × A n , como

el conjunto de todas las n-uplas ordenadas ( a 1 , a 2 ,

a i pertenece a A i para cada i ∈ {1,

, a n ) tales que

, n}, esto es

A 1 × A 2 × · · · × A n := { ( a 1 , a 2 ,

,

a n ) :

a i A i , i ∈ {1,

,

n} }

28
28
Conjuntos
Conjuntos
Partición de un conjunto
Partición de un conjunto

Se dice que

si estos conjuntos son no

vacíos, disjuntos dos a dos y su unión es el conjunto B , vale decir si y sólo si:

Sean A 1 , A 2 ,

, A n subconjuntos de un conjunto B .

{ A 1 , A 2 ,

, A n } es una PARTICION de B

{ A 1 , A 2 , , A n } es una PARTICION de B

A

i

=

φ ,

para cada i ∈ {1,

,

n}.

A i ∩ A j = φ i A j = φ

n

B A i = φ , para cada i ∈ { 1 , , n }

i=1

A i = B .

para cada i

= j .

B A i = φ , para cada i ∈ { 1 , , n }
29
29
Conjuntos
Conjuntos
Cardinalidad
Cardinalidad
Conjuntos Cardinalidad El número de elementos de un conjunto finito A se llama cardinalidad de A

El número de elementos de un conjunto finito A se llama cardinalidad de A y se denota | A| .

Propiedades
Propiedades

Si A y B son conjuntos disjuntos , entonces | A ∪ B | = | A y B son conjuntos disjuntos, entonces | A B | = | A| + | B | .

Si A y B son conjuntos arbitrarios, entonces | A ∪ B | = | A A y B son conjuntos arbitrarios, entonces | A B | = | A| + | B | − | A B | .

Si A , B y C son conjuntos arbitrarios, entonces A, B y C son conjuntos arbitrarios, entonces

| A B C | = | A| + | B | + | C |−| A B |−| A C |−| B C | + | A B C | .

30
30
Ejemplos
Ejemplos
Ejemplo 1
Ejemplo 1

Considere la siguiente proposición:

p : (ǫ > 0)(m N) m ǫ −→ m + 1 < ǫ .

1

1

N ) m ≤ ǫ −→ m + 1 < ǫ . 1 1 a) Niegue

a) Niegue la proposición p .

b) Determine si la proposición p es verdadera o falsa.

Solución
Solución

a) p : (ǫ > 0)(N N) N ǫ N + 1 ǫ .

1

1

b) La proposición es falsa, basta considerar ǫ = 1, pues, para todo N N

1

N 1 1 = ǫ N + 1 1 = ǫ.

31
31
Ejemplos
Ejemplos
Ejemplo 2
Ejemplo 2

Sean A y B subconjuntos del universo U .

a) Pruebe que A c × B c ( A × B ) c .

b) ¿Por qué no es verdadera la igualdad?.

U . a) Pruebe que A c × B c ⊆ ( A × B )
32
32
Ejemplos
Ejemplos
Solución
Solución

a) Probemos que A c × B c ( A × B ) c . Sea ( x, y ) A c × B c .

× B ) c . Sea ( x, y ) ∈ A c × B c

( x, y ) A c × B c =

x A c y B c por def. de producto cartesiano

x / A y / B por definición de complemento

=

=( x, y ) / A × B por def. de producto cartesiano

=( x, y ) ( A × B ) c por definición de complemento

A c × B c ( A × B ) c .

b) La igualdad no es válida, basta considerar por ejemplo

U = {1, 2, 3}, A = {1, 2} = B.

33
33