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