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