Fraza 1: O strategie pentru Eloise este uniformă dacă întotdeauna Formula 114, Formula 130, dacă Abelard implică Formula 116 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?
Da, domnule.