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