Prouver qu'une proposition du type ∀x,P(x)\forall x, P(x)∀x,P(x) est fausse.
Choisissez une approche :
En exhibant un contre-exemple qui viole la proposition
On trouve une valeur particulière pour laquelle la proposition universelle est fausse, ce qui suffit à la réfuter.