الجملة الأولى: استراتيجية لـ " إلويس " تعني " موحدة " إذا كانت دائماً " فورمولا 114 " ، " فورمولا 130 " ، إذا كان " أبيلارد " هو " فورمولا 116 " ، " فورمولا 130 ". الجملة الثانية: استراتيجية لـ "إلويز " تعني "متساوية " إذا، كلما صيغة _ 114 ، صيغة _ 130؛ لـ "أبيلارد"، إذا صيغة _ 116 هي صيغة _ 130. سؤال: هل الجملة الأولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟