Відправити по sms: Completeness theory for propositional logics