Definability in partial logic : The propositional part