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