Un théorème qui s'énonce sous la forme "si l'hypothèse P est vraie alors la conclusion Q est vraie", s'exprime formellement sous la forme "P implique Q " ; cela s'exprime formellement par : "P Q".
Q".