Téléchargement au format .pdf

*
(N( ∑ f)
1
*
∏ ((N 1
f)∨ (Atyp 2
f) N∑ * 1 - e (29)
1
293
La démonstration de (29):
1. (N (∑ 1
* f)) hypothèse
1.1 N N((∑ 1 * f) (N 1 f)) hypothèse
1.1.1 x, ((N 1 f) x) hypothèse
1.1.2 N (∏ 1 (N 1 f)) 1.1, réitération
1.1.3 x, N ((N 1 f) x) 1.1.2, Π 1 - e
1.1.4 x, (f x) 1.1.3, th L c
1.2. a, (f a) 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 (N 1 f))) 1.1 - 1.4, N - i
3. ∏ 1 (N 1 f) 2, N - e / N
∏
*
1
(N 1
f)
*
(N( ∑ f)) N∑ * 1 - i (28)
1
La démonstration de (28):
1. Π 1 (N 1 f) hypothèse
1.1.
*
Σ 1 f hypothèse
1.2. a, (f a) 1.1, Π 1 - e
1.3 Π 1 (N 1 f) 1, réitération
1.4 x, ((N 1 f) x) 1.3, Π 1 - e
1.5 a, ((N 1 f) a) 1.2, ∀ - e
2. (N (Σ * 1 f)) 1.1- 1.4,1.5, N - i
*
N(g( ∏ f))
f(N 1
g)
∑
2
N ∏ * - e (31)
La démonstration de (31):
1 N (g (∏ * f)) hypothèse