Pirmasis sakinys: Eloizės strategija yra vienodi, jei visada 114 formulė, 130 formulė, jei Abelardas reiškia 116 formulę, 130 formulę. 2 sakinys: Eloizės strategija reiškia " vienodą ", jei, kai formula _ 114, formula _ 130; Abelardo atveju, jei formula _ 116 yra formula _ 130. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Taip