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