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