converser - puzzles en ligne

En mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication.