Febrero 1
Febrero 1
Febrero 1
my
01 de febrero
Introducción
Sistemas axiomáti s
→ Axiomas
→ Relaciones indefinidas
aming Objetos indefinido,
→ Lógica (reglas de inferencia)
Era luncian
- Exámenes 60%
- Tareas 30%
- Participación 10 %
- Proyecto Con Python 10% extra a se sanes tra
Ejemplitos:
1)A:{1,2, 3, 4,5} u un conjunto dado por extensión
B
A
i-e.
A:B ⇐ (Axel: ✗ E A ⇒ ✗ EB)
⇒ FxEA: XEB
a) A EU
b) A LA
c) Si A:B y B:C entonces A:C
d) OEA
Y secon
demuestra
un see
Demostración por ley de generalización
a) y c) tarea universal
b) Hip: A es un conjunto
P.D.AE A ie. P.D. txed si ✗ EA any ✗ EA
Sea ✗ EU, tal que ✗ EA. Así
✗ ⇐ A ⇒ × EA parte P ⇒ P es una tautología.
•• a Y ✗ EU: ✗ EA ⇒ XEA por ley de generalización universal.
☐
d) Hip: A s un conjunto
P. D. 0 ← A i-e. ☑ ✗ Edixeo ⇒ ✗ EA
Haremos La prueba contradicción ¡me. suponemos te
TCHYEV:X tq ⇒ YEA) Por
y (Fx: Pa)) =}
= ×:> (Pa)
-7 IXEU: 7/✗ ← 0 ⇒ ✗ E A) pordel kcuantificada
wey ay (Hx: 461) =3 ×:71961)
universal
⇒ 7 ✗ EU: ✗ EON 2/Xt A) por negación de 7 (P ⇒ a) = para
la impoliación
⇒ ] y EU: ✗ EO pa pres el vacío no
tierra dementes
i. ¥ ✗ EU: ✗ E Q ⇒ XE A
- rn AUB
B
ARB
A-B B- A
Esta nos permite poder representar a la unión de conjunto}
como una un ion disjunta.
AUB = (AIB) V (BIA) V (AMB)
1) S: A E B, entonces
i) AMB = A
ii) AUB = B.
↳ CANDY' UA - U
3) Si BE A < entonces A- [A- B 1 - B
Demostración de 2)
Curro A y B son conjuntas, en tan c- }
U Ai:-(✗ EU / J J• EN -f. × ⇐ A j
JEN
La idea anterior nos permite definir uniones es sensed
Definición: Si {Axtl-a es una familia de conjuntos donde es un
conjunto de índices con A#0, definimos la unión arbitraria de los As
Corn U
Ax:-{✗EU/ IX. E A t × £ Ax.}
✗ EN
--
y#Az
n = Aun A, 1A ☐ = Es}
8 de febrero
Conteo
Considera el proceso or consiste en r etapas con ✓ EN. Supón
que
.
•) Existen n, posibles resultados en la primera etapa
K- Permutaciones
Tenemos n objetos y queremos seleccionar K de ellos con
KEN. Si queremos contar el número de maneras diferentes en la
cual podemos elegir esos k-objetos de manera ordenada, tenemos:
n M-I n-2
- n-3
_ _ ← . a- (R-I)
Z 3 4 K
Así, obtenemos n -M -1) . (n-2) - (n-3) --- (n-4+1) R-R • In-R-L • M-K-L }•y
Ch-R) In-R-1) C- n-2)
= n! = Prim = n Pr =P"R
(n-n)! = On" (ordenación)
A éste se le conoce como K-permutaciones
Si K- n, obtenemos n}&
Combinaciones
S! = %
(5-3)!-3!
Notita:
☒ + g)"= Z (1) xi gni es el binomio de Newton.
i:
Particiones
Una combinacion porde verse como una partición: una parte que
contiene K- el
emento, y la otra que contiene los n-K restantes
Esta idea La podemos generalizar • comando niina,..., n. EN tales
que n, ← net... tar = n
Al número n } = n! Se le llama
(n.¡M2, - .-¡A, n,! • Mal.... Mr! coeficiente multinomial
comités
(1 i ÷
1:11'
I
--) G tupa, donde aparece un conflictiva
1:11: