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