Paghihiwalay (lohika)