Las mismas propiedades, se pueden deducir lógicamente de la semántica.