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