Pirmasis sakinys: Eloizės strategija yra vienodi, jei kada nors formule 114 yra nurodyta formule 130, jei Abelardo formule 116 yra nurodyta formule 130. 2 sakinys: Eloizės strategija yra vienodi, jei, kai formule _ 114, formule _ 130; Abelardo atveju, jei formule _ 116 reiškia formule _ 130. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Ne, ne