[Transcendence]

بازنویسی گزاره دوم(Q):

ایا امکان دارد در روز پنجشنبه اعدام اتفاق بیافتد؟
1) تا روز چهارشنبه اعدام اتفاق نیافتاده است.
2)قضیه P
3)بنا بر 1 و2 نتیجه می شود که تنها روز باقی مانده پنجشنبه می باشد.
پس مجرم نسبت به روز اعدام آگاه بوده که در تضاد با غافلگیری است ،پس امکان ندارد روز پنجشنبه اعدام باشد.

خوب حالا می خواهیم نشان دهیم که ما مجوز استفاده از قضیه p را در Q نداریم پس اثبات نمی شود که روز پنجشنبه
امکان ندارد .
برای این کار من از دو مقدمه استفاده می کنم.

مقدمه 1)
زمانی که ما می خواهیم مثلا ازگزاره T، Sرا استنتاج کنیم می توانیم از R،Sرا نتیجه گرفته و از T،Rرا نتیجه
بگیریم.
در چنین حالتی R مستقیما از خود S و اصول موضوعه و قضایای اثبات شده ای که در شرایط مسئله صدق می کنند
حاصل می شود.
مقدمه 2)
زمانی که ما می خواهیم مثلا از T، Sرا استنتاج کنیم از قضیه ای مثل R استفاده می کنیم که در شرایط مسئله

صدق می کند. در چنین حالتی R قضیه ای می باشد که خود مستقلا از اصول موضوعه و قضایای اثبات شده دیگر،

بدست امده است.
البته می شود این دو مقدمه را یکی کرد ولی برای وضوح بیشتر نوشتم.

ادعا ما این است که به کارگیری قضیه p در اینجا نه از مقدمه یک است نه از مقدمه 2