سور تو در تو

سور تو در تو

هر چیزی در حوزه فعالیت یک سور را می‌توان به عنوان یک تابع گزاره‌ای در نظر گرفت برای مثال:

همان گزاره   است که در آن  برابر با    است که در آن جا،  برابر با   است.

سورهای تو در تو در ریاضیات و علوم کامپیوتر به کرات ظاهر می‌شوند، اگرچه سورهای تودرتو اغلب اوقات با دشواری قابل درک است، اما قوانینی وجود دارند که می‌توانند به درک آنها به ما کمک کنند.

در این بخش خواهید دید که چگونه با استفاده از سورهای تو در تو، گزاره‌ای ریاضی نظیر "حاصل جمع دو عدد صحیح مثبت همیشه مثبت است " را بیان می‌کنیم، نشان می‌دهیم که چگونه از سورهای تودرتو می‌توان برای تبدیل جملاتی نظیر " بهترین دوست همه افراد، تنها یک نفر است " به گزاره منطقی استفاده کرد، علاوه بر این در این بخش به تجربیاتی در کار با نقیض گزاره‌های که حاوی سورهای تودرتو هستند دست می‌یابیم.

درک گزاره‌هایی که حاوی سورهای تودرتو هستند 
برای درک گزاره‌هایی که حاوی سورهای تودرتو هستند. لازم است آنچه را که معنی واقعی ریاضی سورها و گزاره نماهاست بیان کنیم.

مثال 
فرض کنید دامنه متغیرهای    شامل همه اعداد حقیقی است، گزارهٔ

به ازای اعداد حقیقی x و y بیانگر برابری  است، این برابری همان قانون جابجایی است، گزارهٔ جمع اعداد حقیقی است، به طور مشابه گزاره:

می‌گوید به ازای هر عدد حقیقی x یک عدد حقیقی y وجود دارد به طوری که  است این گزاره بیان می‌کند که هر عدد حقیقی وارون جمعی دارد.

تبدیل سورهای تودرتو به زبان طبیعی 
عبارت‌هایی با سورهای تودرتو که عبارت‌هایی را به زبان طبیعی بیان می‌کنند می‌توانند کمی پیچیده باشد، اولین قدم در تبدیل چنین عبارت‌هایی نوشتن مفهوم سور و گزاره نما در این عبارت هاست، قدم بعدی پیاده‌سازی این مفهوم در جمله‌ای ساده است.

منابع 

منطق ریاضی
سور