Lause 1: Eloisen strategia edellyttää yhtenäistä `` jos aina Formula 114, Formula 130, jos Abelard on Formula 116 Formula 130. Lause 2: Eloisen strategiana on " yhdenmukainen ", jos formula _ 114 on formula _ 130; Abelardin strategiana on formula _ 116, jos formula _ 130. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.