USM Campus Santiago

Resumen Contenidos Certamen 1 MAT021

http://www.informaticosusm.uni.cc PGINA 1/4

Informticos 09
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:
" p y q "

(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.





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 "




USM Campus Santiago
Resumen Contenidos Certamen 1 MAT021

http://www.informaticosusm.uni.cc PGINA 2/4

Informticos 09
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) ;
(10) ;
(11) ;
(12) ;
(13) :


(14)

(15)


Conjuntos
Definicin:
Un conjunto es una coleccin de elementos u objetos

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

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

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
/

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: A c B

Operaciones entre Conjuntos
Definicin:
Sean A y B conjuntos, se definen
(i) A unin B
/


(ii) A interseccin B
/


(iii) diferencia entre A y B
/


B A
B A
B A

USM Campus Santiago
Resumen Contenidos Certamen 1 MAT021

http://www.informaticosusm.uni.cc PGINA 3/4

Informticos 09
Propiedades
(1) ;
(2) ;
(3) ;
(4)

(5)

(6)

(7) c
c
(8) A c B
Conjunto Complemento
Definicin:
Sea A conjunto. Se define el conjunto complemento de
A como:

/

Propiedades
(1)

(2)

(3)

(4)

(5)

(6)

(7) c

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:
c / c
Ejemplo:
1 , 2 , , 1 , 2

Propiedades
(i)
(ii)
(iii)
Cardinalidad
Definicin:
Se define la cardinalidad del conjunto A como el
nmero de elementos que pertenecen al conjunto A
Notacin: ||
Propiedades
(1) |

| || ||
(2) c || c ||
(3) | | || || | |
(4) || || 2

Cuantificadores
Definicin:
Sea una afirmacin que depende de , se definen:
(i) Existe
Existe un elemento en A que
satisface
(ii) Existe un nico !
! Existe un nico elemento en A
que satisface
(iii) Para todo
Todo elemento en A
satisface
Relaciones
Definicin:
Una Relacin , de en es un subconjunto de
Observaciones:
Sea relacin de A en B.
(i) Se simboliza :
(ii) Si , , entonces se dice que est
relacionado con y se denota por
,
(iii) Si , entonces se dice que es imagen de a
bajo , y que es preimagen de por
(iv) Toda funcin es una relacin, todo elemento de A
tiene una nica imagen en B.
A

USM Campus Santiago
Resumen Contenidos Certamen 1 MAT021

http://www.informaticosusm.uni.cc PGINA 4/4

Informticos 09
Dominio y Recorrido
Definicin:
Considere la relacin : , se definen:
(i) /
(ii) /
Relaciones de equivalencia y de orden
Definicin 1:
Sea relacin de A en A. Se dice que es:
(i) Refleja o Reflexiva:
,
(ii) Simtrica:
,
, ,
(iii) Antisimetrica:
,
(iv) Transitiva:
, ,
. , ,
Definicin 2:
Sea relacin de A en A, se dice que es:
(i) Relacin de equivalencia si es refleja, simtrica y
transitiva.
(ii) Relacin de orden si es refleja, antisimetrica y
transitiva.
Clases de equivalencia
Definicin:
Sea relacin de equivalencia en A, y sea . Se le
llama clase de equivalencia del elemento al siguiente
conjunto:
/









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.