Se lee: “el enunciado según el cual la disyunción de dos actos está permitida equivale, a su vez, a la disyunción de dos enunciados: el que afirma que el primer acto está permitido y el que afirma que el segundo acto está permitido".