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