الجملة الاولى: " جيب " هو مساعد بروف رسومي قابل للتكوين ، طوره أصلاً " برنارد سفرين " في جامعة كوين ماري في لندن و " ريتشارد بورنات " من جامعة أكسفورد. الجملة الثانيه: " جيب " هو مساعد بروف رسومي قابل للتكوين ، طوره في الأصل ريتشارد بورنات في جامعة كوين ماري في لندن وبرنارد سفرين في جامعة أكسفورد. سؤال: هل الجملة الاولى والجملة الثانيه تعبر عن نفس المعنى؟ نعم او لا؟