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