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