Proposition
2 + 3 = 5Une phrase mathématique qui est vraie ou fausse, sans ambiguïté.
Loading page
MATHÉMATIQUES · FONDATION
Apprends le langage des démonstrations, puis vérifie que tu sais reconnaître la bonne structure.
2 + 3 = 5Une phrase mathématique qui est vraie ou fausse, sans ambiguïté.
not(for every x, P(x)) = there exists x such that not P(x)Nier toute la proposition. "Pour tout" devient "il existe" et inversement.
P => QP implique Q affirme que chaque situation où P est vraie rend Q vraie.
P => Q <=> not Q => not PP implique Q est équivalente à non Q implique non P.
Vérification
Question 1/3