y razona de este modo: los enunciados del tipo (1) son triviales, pero no ocurre igual con los enunciados del tipo (2).