PRESUPPOSITION PROJECTION AND LOGICAL EQUIVALENCE