প্রপোজিশনাল লজিক যেখানে সম্পূর্ণ বাক্যকে একক ও অবিভাজ্য ধরে বিশ্লেষণ করে, ধ্রুপদী গণিতে সেখানে ভেতরের গভীর কাঠামো উন্মোচন করা প্রয়োজন: ব্যক্তি বা বস্তুর ওপর কোয়ান্টিফিকেশন ($forall, exists$), বস্তুসমূহের মধ্যকার পারস্পরিক সম্পর্ক এবং বীজগাণিতিক অপারেশন। ফার্স্ট-অর্ডার প্রেডিকেট লজিক ($text{FOL}$) এই অপরিসীম প্রকাশ ক্ষমতা প্রদান করে। কিন্তু $forall x exists y (x < y)$-এর মতো একটি কোয়ান্টিফায়েড বাক্য কখন এবং কীভাবে "সত্য" বলে গণ্য হবে—এই ঐতিহাসিক দার্শনিক সমস্যার নিখুঁত গাণিতিক সমাধান দেন আলফ্রেড তারস্কি ১৯৩৩ সালে তাঁর বিখ্যাত মডেল স্যাটিসফ্যাকশন তত্ত্বের মাধ্যমে।

১. ফার্স্ট-অর্ডার ভাষার সিগনেচার (Signature)

একটি ফার্স্ট-অর্ডার ভাষা $mathcal{L}$ তার সিগনেচার $sigma = (mathcal{C}, mathcal{F}, mathcal{R}, text{ar})$ দ্বারা সংজ্ঞায়িত হয়:

  • $mathcal{C}$: ধ্রুবকের সেট (যেমন $0, 1$)।
  • $mathcal{F}$: ফাংশন প্রতীকের সেট (যেমন $+$, $times$)।
  • $mathcal{R}$: সম্পর্ক বা প্রেডিকেট প্রতীকের সেট (যেমন $<$, $=$)।
  • $text{ar}$: প্রতিটি ফাংশন ও সম্পর্কের আর্গুমেন্ট সংখ্যা বা অ্যারাইটি (Arity)।

এই ভাষার মাধ্যমে গণিতের পদ ও সূত্র নির্মিত হয়:

  • টার্ম বা পদ (Terms): গাণিতিক বস্তুর প্রতীক। চলক $x$ এবং ধ্রুবক $c$ হলো মৌলিক টার্ম। ফাংশন $f(t_1, dots, t_n)$-ও একটি টার্ম।
  • পারমাণবিক সূত্র (Atomic Formulas): সম্পর্ক বা সমতা প্রকাশকারী ভিত্তি বাক্য, যেমন $t_1 = t_2$ বা $R(t_1, dots, t_n)$।
  • যৌগিক সূত্র (Formulas): পারমাণবিক সূত্রের ওপর যৌক্তিক সংযোজক এবং কোয়ান্টিফায়ার ($forall$ – সকলের জন্য, $exists$ – অন্তত একজনের অস্তিত্বশীল) প্রয়োগ করে গঠিত বাক্য।

২. ফার্স্ট-অর্ডার কাঠামো ও মডেল (Structures)

একটি সূত্র একা কোনো সত্য-মিথ্যার মান বহন করে না। সত্যতা কেবল একটি গাণিতিক কাঠামো (Structure) $mathcal{M} = (M, I)$-এর প্রেক্ষিতে বাস্তব রূপ লাভ করে:

  1. ডোমেইন বা মহাবিশ্ব ($M$): একটি অশূন্য সেট, যেখানে চলকসমূহ মান গ্রহণ করে।
  2. ব্যাখ্যা ফাংশন ($I$):
    • ধ্রুবক $c$-কে ডোমেইনের একটি নির্দিষ্ট উপাদান $c^mathcal{M} in M$-এ ম্যাপ করে।
    • ফাংশন $f$-কে $M^n to M$ কার্যকর ক্রিয়ায় রূপান্তর করে।
    • সম্পর্ক $R$-কে $M^n$-এর উপসেট $R^mathcal{M} subseteq M^n$ হিসেবে সংজ্ঞায়িত করে।

উদাহরণস্বরূপ, রিং-এর ভাষায় একই বাক্য বাস্তব সংখ্যার ফিল্ড $mathbb{R}$ এবং পূর্ণসংখ্যার রিং $mathbb{Z}$-এ সম্পূর্ণ ভিন্ন ফলাফল ও অর্থ তৈরি করতে পারে।

৩. আলফ্রেড তারস্কির সত্যতার আরোহী সংজ্ঞা (Satisfaction)

তারস্কি অনুধাবন করেন যে মুক্ত চলকযুক্ত কোনো সূত্র—যেমন $phi(x) equiv (x > 0)$—সরাসরি সত্য বা মিথ্যা হতে পারে না যতক্ষণ না $x$-এর মান নির্দিষ্ট করা হয়। তাই সত্যতাকে সংজ্ঞায়িত করতে হয় চলক নির্ধারণ বা ভ্যারিয়েবল অ্যাসাইনমেন্ট ($sigma: text{Var} to M$)-এর মাধ্যমে:

তারস্কিয়ান স্যাটিসফ্যাকশন ($mathcal{M}, sigma vDash phi$)

  • $mathcal{M}, sigma vDash t_1 = t_2 iff t_1^mathcal{M}[sigma] = t_2^mathcal{M}[sigma]$
  • $mathcal{M}, sigma vDash R(t_1, dots, t_n) iff (t_1^mathcal{M}[sigma], dots, t_n^mathcal{M}[sigma]) in R^mathcal{M}$
  • $mathcal{M}, sigma vDash neg phi iff mathcal{M}, sigma notvDash phi$
  • $mathcal{M}, sigma vDash phi land psi iff mathcal{M}, sigma vDash phi text{ এবং } mathcal{M}, sigma vDash psi$
  • সার্বজনীন কোয়ান্টিফায়ার ($forall x$):
    [
    mathcal{M}, sigma vDash forall x , phi iff forall m in M ; (mathcal{M}, sigma[x mapsto m] vDash phi)
    ]
    যেখানে ডোমেইনের প্রতিটি উপাদান $m$-এর জন্যই সূত্রটি সিদ্ধ হতে হবে।

যে সূত্রে কোনো মুক্ত চলক নেই, তাকে ক্লোজড বাক্য (Sentence) বলা হয়। কোনো ক্লোজড বাক্য সব অ্যাসাইনমেন্টেই একই মান দেয়। তখন আমরা সরাসরি লিখি $mathcal{M} vDash phi$, অর্থাৎ কাঠামো $mathcal{M}$ বাক্যটির একটি মডেল।

৪. সত্যতার অসংজ্ঞায়িত উপপাদ্য (Tarski’s Undefinability Theorem)

তারস্কির এই কাঠামো থেকে এক যুগান্তকারী সত্য উন্মোচিত হয়: পাটিগণিতের সত্যতাকে পাটিগণিতের নিজস্ব ভাষার ভেতরে কোনো প্রেডিকেট দ্বারা সংজ্ঞায়িত করা অসম্ভব। যদি কোনো ভাষা নিজের সত্যতাকে $text{True}(x)$ দ্বারা প্রকাশ করতে পারত, তবে ডায়াগোনালাইজেশনের মাধ্যমে “এই বাক্যটি মিথ্যা” জাতীয় স্ব-বিরোধী লায়ার প্যারাডক্স তৈরি হতো।

অতএব, গণিতের যেকোনো আনুষ্ঠানিক ব্যবস্থার সত্যতা কেবল একটি উচ্চতর মেটা-ভাষার (Metalanguage) মাধ্যমেই সংজ্ঞায়িত করা সম্ভব।

শাকিল মাহমুদ সজল

শাকিল মাহমুদ সজল

সফটওয়্যার প্রকৌশলী ও লেখক, ঢাকা, বাংলাদেশ। কম্পিউটার বিজ্ঞান, পদার্থবিজ্ঞান, ইতিহাস ও ভাবনার সমন্বয়ে ব্যক্তিগত নোট ও প্রবন্ধ সংকলন।