Αποστολή με SMS: Completeness theory for propositional logics