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