发送短信: Completeness theory for propositional logics