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