Documente Academic
Documente Profesional
Documente Cultură
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:
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.
PGINA 1/4
(3)
%
(4) +
, %
(5)
% +
, +
,
(6) +
, +
-, % (7)
%
(8) . %
; . %.
(9) 0 % 0
; 0 %
(10) %
; %
(11) % 0
; %.
(12)
%
;
%
(13) 12 3 4-56:
+, +
, %
+, +
, %
(14) +
-, % +
, +
-, % +
, (15) +
-, % +
, + -,
+
-, % +
, + -,
Conjuntos
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
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 @>
PGINA 2/4
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)
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 >
http://www.informaticosusm.uni.cc
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
(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)
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>
http://www.informaticosusm.uni.cc
PGINA 4/4