introducción de la disyunción