أرسل هذا في رسالة قصيرة: Lattices to logic