Wiki Maths du supérieur
Définition

Equivalence entre deux assertions

Cours
Partie: Partie 1: Introduction
Chapitre: Chapitre 1: Éléments de logique
Cours précédent: Démonstration
Cours suivant: Axiome de remplacement des assertions équivalentes
Général
Branche: Logique
Niveau: BAC+1


Définition

  • Soient et deux assertions.

On définit alors une nouvelle assertion, appelée équivalence entre et , notée , et définie comme étant l'assertion .

Vocabulaire

  • On dira que est une condition nécessaire et suffisante pour montrer .
  • On dira que (est équivalente)/(équivaut) à .

Autre notation