Vous êtes sur la page 1sur 26

MAT 520142:

ALGEBRA y ALGEBRA LINEAL


Primer Semestre 2002, Universidad de Concepción

CAPITULO 1

DEPARTAMENTO DE INGENIERIA MATEMATICA


Facultad de Ciencias Físicas y Matemáticas

1
Lógica

La lógica es la herramienta con que


se construye el edificio llamado Matemática

Conceptos primitivos




Los valores de verdad VERDADERO y FALSO son los conceptos


primitivos de la lógica.

Proposición
Una proposición es una sentencia (expresión) sujeta a un valor de verdad.
Usualmente se denotan por letras minúsculas , , , , etc.





2
Lógica

Conectivos lógicos
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”)


conjunción ( ) (“y”)

disyunción ( ) (“o”)

condicional ) (“entonces”)

bicondicional ( ) (“sí y sólo sí”)


3
Lógica

Tipos de proposiciones
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













4
Lógica

Negación ( )


Dada una proposición , se llama negación de , y se escribe , a la



proposición “no ”. Esto significa que es si es , y es si








es .


TABLA DE VERDAD 







5
Lógica

Conjunción ( )

Dadas dos proposiciones y , la conjunción de ellas es la proposición



“ y ”, la cual se escribe . Así, es si ambas lo son, y es













si al menos una de ellas lo es.


TABLA DE VERDAD





















6
Lógica

Disyunción ( )

Dadas dos proposiciones y , la disyunción de ellas es la proposición



“ o ”, la cual se escribe . Así, es si al menos una de ellas









lo es, y es si ambas lo son.





TABLA DE VERDAD



















7
Lógica

Condicional ( )


Dadas dos proposiciones y , la condicional de ellas es la proposición



“si entonces ”, la cual se escribe . Aquí, se llama antecedente





y consecuente. También, se lee “ es condición suficiente para


”, o bien “ es condición necesaria para ”. Así, es sólo si es









y es .





TABLA DE VERDAD




















8
Lógica

Bicondicional ( )


Dadas dos proposiciones y , la bicondicional de ellas es la proposición



“ sí y sólo sí ”, la cual se escribe . También, se lee “ es


condición necesaria y suficiente para ”. Así, es sólo si ambas






proposiciones tienen el mismo valor de verdad.

TABLA DE VERDAD





















9
Lógica

Definiciones varias
Una proposición compuesta se dice una:

TAUTOLOGIA (o TEOREMA LOGICO), si ella es siempre ,


cualesquiera sean los valores de verdad de las proposiciones
simples que la componen.

CONTRADICCION, si ella es siempre .



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

10
Lógica

Implicación lógica
Dadas dos proposiciones y , se dice que implica lógicamente , si





es una tautología. En tal caso se escribe y se lee “ implica










”.


Equivalencia lógica
Dadas dos proposiciones y , se dice que ellas son lógicamente


equivalentes, si es una tautología. En tal caso se escribe y






se lee “ es equivalente a ”.


11
Lógica

Algunas tautologías importantes




 (doble negación)




(conmutatividad de )








(conmutatividad de )








(conmutatividad de )












(asociatividad de )










(asociatividad de )











(asociatividad de )


12
Lógica

Algunas tautologías importantes (continuación)














(distributividad de con respecto a )












(distributividad de con respecto a )




(Ley de De Morgan para )












(Ley de De Morgan para )








(contrarecíproca)










































13
Lógica

Función proposicional
Se llama función proposicional (o enunciado abierto) a una expresión


que contiene una o más variables, y tal que ella se convierte en una
proposición lógica cuando se le asignan valores expecíficos a dichas
variables.

Conjunto de validez
Se llama Conjunto de validez de una función proposicional , y se denota


por , al conjunto de valores (o -uplas de valores) para los cuales dicha
 


función es verdadera.

14
Lógica

Cuantificadores lógicos

Para indicar que una función proposicional es verdadera para


cualquier elemento de un determinado conjunto 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 sólo para


algunos elementos de un determinado conjunto 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 se usa el símbolo .


se lee: “existe un único”.

15
Lógica

Más sobre cuantificadores lógicos




Sean un conjunto y una función proposicional que depende de una


variable (en tal caso se escribe ).









se lee “para todo en , es verdadera”.











se lee “existe en tal que es verdadera”.





Negaciones importantes
































































 


 


 











16
Conjuntos

Idea de Conjunto
Llamaremos conjunto a cualquier colección de objetos. 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


Los conjuntos:
 !
""
"

Los elementos:
 %
$#
""
"


pertenece a :

#

&


no pertenece a :
#

Conjunto vacío:
'

Conjunto universo:
(

17
Conjuntos

Definición de un conjunto A

&


)
Dado y un conjunto : .
(





Si esta pregunta puede responderse siempre, entonces


se dice que está bien definido .

Maneras de definir un conjunto


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




Números naturales
0/

1
-,+*

 4
 5
.

""
"


Por comprensión, esto es dando una propiedad (o proposición) que


caracterice a los elementos del conjunto.
8

;
% #




Números racionales
0/

7

%
 9
-,+*

:

.

$#


18
Conjuntos

Inclusión de conjuntos


Dados dos conjuntos y , se dice que es subconjunto de , y se

!
<


escribe , si todos los elementos de están también en , esto es:
!

!
!
<


!





Propiedades de la inclusión


Dados conjuntos, se tiene


=
 !
<
<'

(
<


=
<

<

=
!

<!

19
Conjuntos

Igualdad de conjuntos


Dados dos conjuntos y , se dice que y son iguales, y se escribe

!



, si los elementos de y coinciden, esto es:
!

!


!




<
!

<!




Conjunto de las partes de un conjunto dado





Dado un conjunto , se define el conjunto de las partes de , y se denota



, como el conjunto de todos los subconjuntos de , esto es:
>

 
?2

6

>

?
<







Notar que ya que


'

 '
>

>


20
Conjuntos

Operaciones entre conjuntos


Sea el conjunto universo, y sean , subconjuntos de .
(

(

La diferencia de y es el conjunto

!
2

6
A@


!

(

!










B
El Complemento de con respecto a , el cual se denota

(
@ C



(o bien , ), es el conjunto , vale decir:

@(
2

6
 B



@(

(






Algunas propiedades


B
Para todo se tiene:
(





B'

'
(

B(




B
B




21
Conjuntos

Otras operaciones entre conjuntos


Sea el conjunto universo, y sean , subconjuntos de .
(

(


ED
La intersección de y , la cual se denota , es el conjunto de

!

todos los elementos comunes a y , esto es

!
2

6

!

(

!
D








EF
La unión de y , la cual se denota , es el conjunto de todos
!

!


los elementos que están en o en , esto es


!
2

6
EF


!

(







22
Conjuntos

Propiedades de y

D
F
EF





(idempotencia)

D



EF


(conmutatividad de y )
!

F!

D!

D

F
D



=

F!
EF

EF
(asociatividad de )

=
F!

F

=

D! (asociatividad de )
=
D!
D

D

D

=

D!

=
EF

EF

EF
D!

(distributividad de con respecto a )


F

D
=

F!

=
F!
D

D

D


(distributividad de con respecto a )


D

F
B! 
EF

D B

(Ley de De Morgan)
B!

B! 

F B

(Ley de De Morgan)
B!
D

23
Conjuntos

Más definiciones


Dos conjuntos y se dicen disjuntos sí y sólo sí .

'
!

!
D



Dados dos conjuntos no vacíos y , se define el Producto

HG
Cartesiano de ellos, el cual se denota por , como el conjunto

!
%


de todos los pares ordenados tales que pertenece a y

%
$#

#
pertenece a , esto es
!

 %

6
HG

%
!

!




$#

#


 JI
L JK

M 
N
Dados n conjuntos no vacíos , se define el Producto
LL


IJG 

KJG 

M 
N
Cartesiano de ellos, el cual se denota por , como

"G
""

el conjunto de todas las -uplas ordenadas tales que


 OI#

M#
LL #K
L

32

6
P

pertenece a para cada , esto es


Q

OP#

LL
L

2



32

6
6
IJG 

KG

M 

P 
Q



"G

 IO#
L KO#

M#



#P
""

LL


LL
L

24
Conjuntos

Partición de un conjunto
 JI
L JK

M 
N
Sean subconjuntos de un conjunto . Se dice que

!
M  LL
6 
2
I 
L JK

es una PARTICION de si estos conjuntos son no

!
LL


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

!
y sólo sí:

32

6
P


, para cada .
'

Q

LL
L

P D

RJ

 +

para cada .
'

Q

TSP M

P

.
!
F


I

25
Conjuntos

Cardinalidad


El número de elementos de un conjunto finito
U se llama cardinalidad de
U


y se denota .

Propiedades

!U

U
VWU
U
!U


EF
Si y son conjuntos disjuntos, entonces .
!




Si y son conjuntos arbitrarios, entonces


!
U

!U

U
VWU
U
@ !U
U

!U
EF

.
D



Si , y son conjuntos arbitrarios, entonces


=
!
U

=U

U
V U
U
V !U
U
@ =U
U

@ !U
U

@ =U
U

V =U
U

L =U
F

D

D

D
F!

D!

D!


26