Lemme n°2 pour aider à la page "Existence et conjonction

## But

On veut montrer que

(
3
)

(

¬
[
∃
x
,
P
(
x
)
]
∨
¬
[
∃
x
,
Q
(
x
)
]

)

⇒
¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle (3)~~~~{\Big (}\neg [\exists x,P(x)]\vee \neg [\exists x,Q(x)]{\Big )}\Rightarrow \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}}

⟺

(
4
)

(

¬
[
∃
x
,
P
(
x
)
]
∨
¬
[
∃
x
,
Q
(
x
)
]

)

⇒

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle \iff (4)~~~~{\Big (}\neg [\exists x,P(x)]\vee \neg [\exists x,Q(x)]{\Big )}\Rightarrow {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}}

## Preuve

### Première implication

D'après la proposition "Négation de l'existence", on a l'équivalence

¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

⇔

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}\Leftrightarrow {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}}

En particulier, d'après la définition de l'équivalence, on a l'implication

¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

⇒

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}\Rightarrow {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}}

Donc par transitivité de l'implication, on a l'implication

(

¬
[
∃
x
,
P
(
x
)
]
∨
¬
[
∃
x
,
Q
(
x
)
]

)

⇒
¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle {\Big (}\neg [\exists x,P(x)]\vee \neg [\exists x,Q(x)]{\Big )}\Rightarrow \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}}

⇒

[

(

¬
[
∃
x
,
P
(
x
)
]
∨
¬
[
∃
x
,
Q
(
x
)
]

)

⇒

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

]

{\displaystyle \Rightarrow {\Big [}{\Big (}\neg [\exists x,P(x)]\vee \neg [\exists x,Q(x)]{\Big )}\Rightarrow {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}{\Big ]}}

Ceci prouve

(
3
)
⇒
(
4
)

{\displaystyle (3)\Rightarrow (4)}

.

### Deuxième implication

D'après la proposition "Négation de l'existence", on a l'équivalence

¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

⇔

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}\Leftrightarrow {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}}

En particulier, d'après la définition de l'équivalence, on a l'implication

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

⇒
¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}\Rightarrow \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}}

Donc par transitivité de l'implication, on a l'implication

(

¬
[
∃
x
,
P
(
x
)
]
∨
¬
[
∃
x
,
Q
(
x
)
]

)

⇒

(

∀
x
,
¬
[
P
(
x
)
∧
Q
(
x
)
]

)

{\displaystyle {\Big (}\neg [\exists x,P(x)]\vee \neg [\exists x,Q(x)]{\Big )}\Rightarrow {\Big (}\forall x,\neg [P(x)\wedge Q(x)]{\Big )}}

⇒

[

(

¬
[
∃
x
,
P
(
x
)
]
∨
¬
[
∃
x
,
Q
(
x
)
]

)

⇒
¬

(

∃
x
,
[
P
(
x
)
∧
Q
(
x
)
]

)

]

{\displaystyle \Rightarrow {\Big [}{\Big (}\neg [\exists x,P(x)]\vee \neg [\exists x,Q(x)]{\Big )}\Rightarrow \neg {\Big (}\exists x,[P(x)\wedge Q(x)]{\Big )}{\Big ]}}

Ceci prouve

(
4
)
⇒
(
3
)

{\displaystyle (4)\Rightarrow (3)}

.

### Conclusion

On a prouvé que

(
3
)
⇒
(
4
)

{\displaystyle (3)\Rightarrow (4)}

 et que

(
4
)
⇒
(
3
)

{\displaystyle (4)\Rightarrow (3)}

.

Donc d'après la définition de l'équivalence, on a

(
3
)

⟺

(
4
)

{\displaystyle (3)\iff (4)}

.