Stelling 1:'n Strategie vir Eloise is'' uniform `` as daar altyd'n Formule 114, Formule 130 geïmpliseer word, as Abelard se Formule 116'n Formule 130 impliseer. sin 2:'n Strategie vir Eloise is `` uniform'as, wanneer formule _ 114, formule _ 130; vir Abelard, as formule _ 116 formule _ 130 impliseer. Vraag: Het sin 1 en sin 2 dieselfde betekenis? Ja of Nee?
Nee, nie