Informticos 09 Resumen Contenidos Certamen 1 MAT021

USM Campus Santiago

Complementos
Lgica
Proposiciones
Definicin
Es una frase del lenguaje natural respecto de la cual es
posible afirmar que es verdadera o falsa sin
ambigedad

Conectivos
Sean p y q proposiciones, se definen:
(1) Negacin: afirma que la proposicin original p es
falsa
Notacin:
,  , ~
"   "
(2) Conjuncin: afirma que ambas proposiciones, p y
q es verdaderas
Notacin:


"pyq"
(3) Disyuncin: afirma que al menos una de ellas, p
q es verdadera
Notacin:

"
"
(4) Condicional: la proposicin entre dos
proposiciones p y q, antecedente y consecuente,
afirma que cada vez que el antecedente sea
verdadero, necesariamente el consecuente debe
ser verdadero
Notacin:
 
" p implica q "
"   
"
por lo tanto,  
es verdadero si y solo si NO
ocurre que p sea verdadero y q falso. En los casos
restantes siempre ser verdadero.

http://www.informaticosusm.uni.cc

Observacin:
(i) Algo falso puede implicar cualquier cosa.
(ii)  
no es lo mismo que
 
(5) Bicondicional: entre dos proposiciones p y q se
afirma que ambas son verdaderas o ambas son
falsas
Notacin:


" p si y solo q "

" p siempre y cuando q "
 
es verdadera si no ocurre que las
proposiciones tengan distinto valor de verdad.
Observacin:
Si una proposicin no contiene conectivos,
entonces se llama simple, en caso contrario se
llama compuesta.

Tautologa y Contradicciones
Definicin:
Una proposicin es:
(i) Tautologa si independiente de su contenido y de
los valores de verdad de las proposiciones mas
simples que la componen es Verdadera
(ii) Contradiccin si es siempre Falsa independiente
del contenido y de los valores de verdad de las
proposiciones ms simples que la componen.

Proposiciones lgicamente equivalentes

Definicin:
Las proposiciones y son lgicamente equivalentes
si y solo si
#  $ es una tautologa.
Notacin:
#%$

" es lgicamente equivalente con "

PGINA 1/4

Informticos 09 Resumen Contenidos Certamen 1 MAT021

USM Campus Santiago
Algebra de Proposiciones
Sean p, q y r proposiciones, V una tautologa y F una
contradiccin
(1)  % 
(2)  
%  

(3)  
%
 
(4) + 
, % 

(5)  
% + 
, +
 ,
(6) + 
, +
 -, %   (7)  
%  

(8)  . % 
; . %.
(9)  0 % 0
; 0 %
(10)   % 
; %
(11)   % 0
;  %.
(12)  
%
  ; 
%

(13) 12 3 4-56:
+, +
, %  

+, + 
, % 

(14)  +
-, % +
,   +
 -, % + 
,  (15)  +
 -, % +
,  + -,
  +
-, % + 
, +  -,

Conjuntos

Formas de escribir un conjunto

(i) Por Extensin: Listado de todos los elementos.
(ii) Por Comprensin: Si hay una proposicin p que es
verdadera para todo elemento del conjunto, se
puede escribir
: ; < 9 / +;, >

Subconjuntos
Definicin:
Se dice que A es subconjunto de B o que A est
contenido en B si y solo si todo elemento que
pertenece a A, pertenece a B.
Si ; < ?  ; < @
Notacin:

AcB

Operaciones entre Conjuntos

Definicin:
Sean A y B conjuntos, se definen
(i) A unin B
? A @ B :; < 9 / ; < ?  ; < @>

Definicin:
Un conjunto es una coleccin de elementos u objetos

Conjunto Vacio
Definicin:
Es el conjunto que no tiene elementos
Notacin: 8

Conjunto Universo
Definicin:
Es el conjunto que contiene a todos los posibles
elementos en un contexto dado.
Notacin: 9

http://www.informaticosusm.uni.cc

(ii) A interseccin B
? C @ B :; < 9 / ; < ? ; D @>

(iii) diferencia entre A y B

? E @ B :; < 9 / ; < ?  ; < @>

PGINA 2/4

Informticos 09 Resumen Contenidos Certamen 1 MAT021

USM Campus Santiago
Propiedades
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)

Propiedades

?A?B?
; ?C?B?
?A8B?
; ?C8 B 8
?A@ B @A? ; ?C@ B @C?
? A +@ A F, B +? A @, A F
+? C @, C F B ? C +@ C F,
? A +@ C F, B +? A @, C +? A F,
? C +@ A F, B +? C @, A +? C F,
? E +@ A F, B +? E @, C +? E F,
? E +@ C F, B +? E @, A +? E F,
?c?A@
?C@ c ?
AcB?A@ B @ ?C@ B ? ?E@ B 8

Conjunto Complemento
Definicin:
Sea A conjunto. Se define el conjunto complemento de
A como:
?G B : ; < 9 / ; D ? >

(i) H+?, B 8
(ii) H+? C @, B H+?, C H+@,
(iii) H+? A @, B H+?, A H+@,

Cardinalidad
Definicin:
Se define la cardinalidad del conjunto A como el
nmero de elementos que pertenecen al conjunto A
Notacin: |?|
Propiedades
(1)
(2)
(3)
(4)

|?G | B |9| E |?|

? c @  |?| c |@|
|? A @| B |?| L |@| E |? C @|
|?| B   |H+?,| B 2M

Cuantificadores
Definicin:
Sea N+;,una afirmacin que depende de ;, se definen:
(i) Existe O
O; < ?+N+;,,

Propiedades
(1)
(2)
(3)
(4)
(5)
(6)
(7)

9G B 8
; 8G B 9
? A ?G B 9
+?G ,G B ?
+? A @,G B ?G C @G
+? C @,G B ?G A @G
? E @ B ? C @G
? c @  @G c ?G

Conjunto Potencia
Definicin:
Dado un conjunto A, el conjunto potencia de A es el
conjunto que tiene como elementos a todos los
posibles subconjuntos de A, es decir:
H+?, B : @ c 9 / @ c ? >
Ejemplo:
? B : 1 ,2 >

H+?, B : 8 , ? , :1> , :2> >

http://www.informaticosusm.uni.cc

Existe un elemento en A que

satisface N+;,
(ii) Existe un nico O!
O! ; < ?+N+;,,
Existe un nico elemento en A
que satisface N+;,
(iii) Para todo Q
Q; < ?+N+;,,
Todo elemento en A
satisface N+;,

Relaciones
Definicin:
Una Relacin R, de ? en @ es un subconjunto de ? S @
Observaciones:
Sea R relacin de A en B.
(i) Se simboliza R: ? T @
(ii) Si +6, U, < R, entonces se dice que 6 est
relacionado con U y se denota por 6 R U
+6, U, < R  6 R U
(iii) Si 6 R U, entonces se dice que U es imagen de a
bajo R, y que 6 es preimagen de U por R
(iv) Toda funcin es una relacin, todo elemento de A
tiene una nica imagen en B.
PGINA 3/4

Informticos 09 Resumen Contenidos Certamen 1 MAT021

USM Campus Santiago
Dominio y Recorrido
Definicin:
Considere la relacin R: ? T @, se definen:
(i) \]+R, B :6 < ? / O U < @ 
6 R U>
(ii) ^+R, B :U < @ / O 6 < ? 
6 R U>

Relaciones de equivalencia y de orden

Definicin 1:
Sea R relacin de A en A. Se dice que R es:
(i) Refleja o Reflexiva:
Q6 < ?+6 R U,  _+6, 6, < R`
(ii) Simtrica:
Q6 < ?, QU < ? +6 R U  U R 6,
 _+6, U, < R  +U, 6, < R`
(iii) Antisimetrica:
Q6 < ?, QU < ? _+6 R U U R 6,`  6 B U

(iv) Transitiva:
Q6 < ?, QU < ?, Q < ? _+6 R U U R ,  6 R `
 _+6. U, < R +U, , < R  +6, , < R`
Definicin 2:
Sea R relacin de A en A, se dice que R es:
(i) Relacin de equivalencia si R es refleja, simtrica y
transitiva.

(ii)

Relacin de orden si R es refleja, antisimetrica y

transitiva.

Clases de equivalencia
Definicin:
Sea R relacin de equivalencia en A, y sea 6 < ?. Se le
llama clase de equivalencia del elemento 6 al siguiente
conjunto:
a6b B :U < ? / 6 R U>

El Autor de este resumen no se hace responsable por posibles

errores o por no incluir los contenidos mnimos necesarios para
el certamen.
Se recomienda complementar con textos como Algebra Uno de
Bustos.

http://www.informaticosusm.uni.cc

PGINA 4/4