Fraza 1: O strategie pentru Eloise este " " uniformă " " dacă oricând Formula 114, Formula 130 este implicată, dacă Formula Abelard 116 implică Formula 130. Fraza 2: O strategie pentru Eloise implică " uniform " dacă, ori de câte ori formula _ 114, formula _ 130; pentru Abelard, dacă formula _ 116 este formula _ 130. Întrebare: Fraza 1 şi fraza 2 exprimă aceeaşi semnificaţie? Da sau nu?
Nu, nu.