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