Lexique

implication
Dire que la proposition P implique la proposition Q signifie que si P est vraie alors Q est vraie ou que Q est la conséquence de P.
Exemple
Un quadrilatère est un parallélogramme implique que ses diagonales se coupent en leur milieu. Le fait que les diagonales se coupent en leur milieu est la conséquence du fait que le quadrilatère est un parallélogramme.