Estas interdefiniciones son paralelas a las de los cuantificadores en la lógica de primer orden: