¿Cómo se aplica?
Si en la lista de enunciados aparecen un enunciado A y un enunciado B (no necesariamente de forma consecutiva) entonces se puede escribir, al final de esta lista, el enunciado A⋀B, o el enunciado B⋀A. Por tanto, si hubiera la ausencia de alguno de estos de manera independiente, no se podría aplicar la regla
Se suele comentar a la derecha de con el siguiente símbolo I⋀ y seguidamente la enumeración separado por comas de los enunciados implicados