أرسل هذا في رسالة قصيرة: Completeness theory for propositional logics