فوتبال فن 1990لیلا و گلنوش دروغگو ، مریم راستگو
توضیحات : فرض کنیم لیلا راستگو ست . پس قاعدتا جمله " مریم دروغگو است. " جمله راستیه . پس قاعدتا باید جمله ای که مریم میگه دروغ باشه . پس " گلنوش دروغگو است. " باید دروغ باشه که نتیجه ش اثبات راستگوییِ گلنوشه . پس جمله گلنوش باید درست باشه . یعنی " مریم و لیلا هر دو دروغگو هستند. " که نتیجه ش میشه دروغگوییِ لیلا که مخالف فرض اولیه س .
حالا فرض کنیم لیلا دروغگوست . پس قاعدتا جمله " مریم دروغگو است. " جمله دروغیه و این یعنی مریم راستگوست . پس قاعدتا باید جمله ای که مریم میگه راست باشه پس " گلنوش دروغگو است. " باید راست باشه . که نتیجه ش اثبات دروغگو بودن گلنوشِ .پس جمله گلنوش باید غلط و دروغ باشه و این یعنی " مریم و لیلا هر دو دروغگو هستند. " جمله دروغیه که با توجه به کلمه " هر دو " کافیه تنها یکی از این دو نفر راستگو باشه ( مریم ) که هست و با فرض اولیه همخوانی داره و تناقضی شکل نمیگیره .
پس داریم : لیلا و گلنوش دروغگو / مریم راستگو
اینم اثبات منطقی :)
