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