Vocabulaire de la logique et types de raisonnement
PropositionUne affirmation qui peut être vraie ou fausse.
Négation d'une propositionSoit P une proposition. Sa négation notée "non P" est vraie quand P est fausse et fausse quand P est vraie.
exemple:
La négation de "x2≤4" est "x2>4"