أرسل هذا في رسالة قصيرة: Pedagogical agent in open distance learning for the topic 'Logic and Proof'