Logique Implication Équivalence logique

précédent

 détail détail

 

Une équivalence logique est la conjonction d'une proposition et de sa réciproque.

"P  Q" signifie "(P implique Q) et (Q implique P)".