Para representar una implicación, es decir, que la proposición P es una condición suficiente para la validez de Q, se utiliza una estructura que se lee "P enrolla Q" ("P scrolls Q").