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