Kalimat 1: Sebuah strategi untuk Eloise adalah'' seragam jika selalu Formula 114, Formula 130, jika Abelard menyiratkan Formula 116 Formula 130. Kalimat 2: Sebuah strategi untuk Eloise menyiratkan " seragam " jika, setiap kali formula _ 114, formula _ 130; untuk Abelard, jika formula _ 116 adalah formula _ 130. Pertanyaan: Apakah Kalimat 1 dan Kalimat 2 menyatakan makna yang sama? Ya atau tidak?
Ya, tentu saja.