7المحاضرة السابعة هيكلة الإثباتات وإجرائية المتغيرات