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