¿Cómo se aplica?
Si en la lista de enunciados aparece un enunciado A, entonces es legítimo escribir, al final de la lista, A ⋁ B o B ⋁ A, donde B es un enunciado cualquiera, que no es necesario que aparezca previamente en la lista. Es es porque mínimo se cumple A, con lo cual da igual si se cumple o no B.
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