Frazo 1: Strategio por Eloiza estas'' unuforma `` se kiam ajn Formulo 114, Formulo 130 estas implicita, se Abelardo Formulo 116 Formulo 130 implicas. Frazo 2: Strategio por Eloise estas `` unuforma'se, kiam ajn formulo _ 114, formulo _ 130; por Abelard, se formulo _ 116 implicas formulo _ 130. Demando: Ĉu frazo 1 kaj frazo 2 esprimas la saman signifon? Jes aŭ Ne?
Ne