Téléchargement au format .pdf

291
1.1.3 N ((N 1 f) a) 1.1.2, ∑ * 1 - e
1.1.4 (f a) 1.1.3, th L c
1.2. x, (f x) 1.1.1 - 1.1.4, N - i
1.3. ∏ 1 f 1.2, ∏ 1 - i
1.4. (N (∏ 1 f)) 1, réitération
2. *
(N (N ∑ 1 (N1 f))) 1.1 - 1.4, N - i
3. *
∑ 1 (N1 f) 2, N - e / N
La démonstration de (22)
*
∑ (N f)
1
(N( ∏ f)) N∏ 1 - i (22)
1
1. ∑ 1
* (N1 f) hypothèse
1.1. ∏ 1 f hypothèse
1.2. x, (f x) 1.1, ∏ 1 - e
1.3 ∑ 1
*
(N 1 f) 1, réitération
1.4 a, ((N 1 f) a) 1.3, ∑ * 1 - e
1.5 a, (f a) 1.2, ∀ -e
2. (N (∏ 1 f)) 1.1- 1.4,1.5, N - i
La démonstration de (25):
*
(N( ∏ f))
1
∑ * 1
((N 1
f)∨ (Atyp 2
f) N∏ * 1 - e (25)
1. (N (∏ 1
*
f)) hypothèse
2. (N (Typ 2 f) x) *
1, ∏ 1 - e
3. a, (N (Typ 2 f) a) 2, N ∀ - e
4. *
∑ 1 (N 1 (Typ 2 f)) 3, ∑ * 1 - i
5. *
∑ 1 ((N1 f) ∨ (Atyp 2 f)) 4, th.2
La démonstration de (24):
∑ 1
(N 1
f)
*
(N ( ∏ f)) N∏ * 1 - i (24)
1