Abairt 1: Tá straitéis d' Eloise'' aonfhoirmeach `` má bhíonn Foirmle 114 i gcónaí, Foirmle 130, má thugann Abelard Formle 116 le tuiscint Foirmle 130. Abairt 2: Ciallaíonn straitéis d' Eloise " aonfhoirmeach " más rud é, aon uair a bhíonn foirmle _ 114, foirmle _ 130; d' Abelard, má tá foirmle _ 116 foirmle _ 130. Ceist: An léiríonn abairt 1 agus abairt 2 an bhrí chéanna? An bhfuil nó nach bhfuil?
Sea, tá