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 "$x^2\leq 4$" est "$x^2>4$"