গাণিতিক চিন্তার একেবারে গভীরে একটি মৌলিক দ্বন্দ্ব বিরাজমান: একদিকে বাক্যতাত্ত্বিক বা সিনট্যাক্টিক আরোহ (Deduction)—যেখানে কোনো অর্থ না জেনে কেবল নির্দিষ্ট কিছু আনুষ্ঠানিক নিয়ম অনুসারে প্রতীকের যান্ত্রিক রূপান্তর ঘটে; অন্যদিকে শব্দার্থিক সত্য (Semantic Truth)—যেখানে কোনো গাণিতিক কাঠামো বা বাস্তবতায় সেই চিহ্নের সত্য-মিথ্যা নির্ধারিত হয়। প্রপোজিশনাল ক্যালকুলাস হলো গণিত ও দর্শনের সেই আদি গবেষণাগার যেখানে সাউন্ডনেস (Soundness) এবং সম্পূর্ণতা (Completeness) উপপাদ্যের মাধ্যমে এই দুই জগতের নিখুঁত মিলন প্রমাণিত হয়।
১. প্রপোজিশনাল লজিকের আনুষ্ঠানিক বাক্যতত্ত্ব (Formal Syntax)
প্রাকৃতিক ভাষার দ্ব্যর্থকতা দূর করতে গাণিতিক যুক্তিবিজ্ঞান শুরু হয় একটি সুনির্দিষ্ট আনুষ্ঠানিক ভাষা $mathcal{L}_0$ দিয়ে। এই ভাষার বর্ণমালা তিনটি অসঙ্গত সেট নিয়ে গঠিত:
- প্রপোজিশনাল চলক: $text{Var} = {P_1, P_2, P_3, dots, Q, R, dots}$ (যেকোনো মৌলিক উক্তি বা প্রস্তাবনা)।
- যৌক্তিক সংযোজক (Connectives): নেগেশন ($neg$), কনজাংশন বা যোজক ($land$), ডিসজাংশন বা বিয়োজক ($lor$), শর্তায়ন বা ইমপ্লিকেশন ($to$), এবং দ্বিশর্তায়ন ($leftrightarrow$)।
- বন্ধনী: $($ এবং $)$।
এই ভাষায় সঠিকভাবে গঠিত সূত্র (Well-Formed Formulas বা WFFs)-এর সেট $text{Form}(mathcal{L}_0)$ আরোহী পদ্ধতিতে সংজ্ঞায়িত হয়:
- যদি $P in text{Var}$ হয়, তবে $P in text{Form}(mathcal{L}_0)$ (পারমাণবিক সূত্র)।
- যদি $phi in text{Form}(mathcal{L}_0)$ হয়, তবে $(neg phi) in text{Form}(mathcal{L}_0)$।
- যদি $phi, psi in text{Form}(mathcal{L}_0)$ এবং $circ in {land, lor, to, leftrightarrow}$ হয়, তবে $(phi circ psi) in text{Form}(mathcal{L}_0)$।
ইউনিক রিডেবিলিটি উপপাদ্য (Unique Readability Theorem) অনুসারে, প্রতিটি সূত্রের একটি এবং কেবলমাত্র একটি গঠন-গাছ (parse tree) থাকে, যা নিশ্চিত করে যে চিহ্নের বিন্যাসে কোনো ধরনের বিভ্রান্তি বা দ্ব্যর্থকতা তৈরি হতে পারে না।
২. শব্দার্থিক রূপরেখা: ভ্যালুয়েশন ও ট্রুথ টেবিল
অর্থতত্ত্ব বা সিম্যান্টিক্স এই বিমূর্ত চিহ্নের কাঠামোতে প্রাণ সঞ্চার করে। একটি সত্যতা মূল্যায়ন (Truth Valuation) হলো একটি সেট-তাত্ত্বিক ফাংশন $v: text{Var} to {0, 1}$, যা প্রতিটি চলককে সত্য ($1$) অথবা মিথ্যা ($0$) মান বরাদ্দ করে।
বুলিয়ান ফাংশনের নিয়ম অনুসারে, এই প্রাথমিক মূল্যায়ন সমগ্র ভাষার প্রতিটি সূত্রের জন্য একটি অনন্য হোমোমর্ফিজম $bar{v}: text{Form}(mathcal{L}_0) to {0, 1}$-এ প্রসারিত হয়:
[
bar{v}(neg phi) = 1 – bar{v}(phi)
]
[
bar{v}(phi land psi) = min(bar{v}(phi), bar{v}(psi)) = bar{v}(phi) cdot bar{v}(psi)
]
[
bar{v}(phi lor psi) = max(bar{v}(phi), bar{v}(psi)) = bar{v}(phi) + bar{v}(psi) – bar{v}(phi)bar{v}(psi)
]
[
bar{v}(phi to psi) = max(1 – bar{v}(phi), bar{v}(psi))
]
যদি যেকোনো মূল্যায়নেই কোনো সূত্রের মান $1$ হয়, তবে তাকে টটোলজি বা পরম সত্য (Tautology) বলা হয় (চিহ্ন: $vDash phi$)। একইভাবে, যদি সূত্রের একটি সেট $Gamma$ সত্য হলে $phi$-ও আবশ্যিকভাবে সত্য হয়, তবে তাকে শব্দার্থিক সিদ্ধান্ত বলা হয়: $Gamma vDash phi$।
৩. হিলবার্ট-স্টাইল ডিডাক্টিভ সিস্টেম ও মোডাস পনেনস
শব্দার্থিক সত্যের সম্পূর্ণ বিপরীতে, একটি আনুষ্ঠানিক প্রমাণ ব্যবস্থা (Deductive System) চলে কোনো বাস্তব অর্থ না জেনে, কেবল চিহ্নের যান্ত্রিক নিয়মে। হিলবার্ট-স্টাইল প্রমাণ ব্যবস্থায় কয়েকটি স্বতঃসিদ্ধ বা অ্যাক্সিওম এবং অনুমানের নিয়ম (Inference Rules) থাকে।
লুকাসিভিজের ধ্রুপদী স্বতঃসিদ্ধ কাঠামো
কেবল $neg$ এবং $to$ ব্যবহার করে সমস্ত যুক্তি গঠন করা যায়:
- A1: $phi to (psi to phi)$
- A2: $(phi to (psi to chi)) to ((phi to psi) to (phi to chi))$
- A3: $(neg psi to neg phi) to (phi to psi)$
অনুমানের নিয়ম — মোডাস পনেনস (Modus Ponens):
[
frac{phi quad phi to psi}{psi}
]
একটি আনুষ্ঠানিক প্রমাণ $Gamma vdash phi$ হলো সূত্রের একটি সসীম ধারা $langle phi_1, phi_2, dots, phi_n rangle$, যার শেষ সূত্রটি হলো $phi$, এবং প্রতিটি সূত্র হয় $Gamma$-এর অংশ, নয়তো স্বতঃসিদ্ধ, নয়তো আগের সূত্রগুলো থেকে মোডাস পনেনসের মাধ্যমে জাত।
৪. ডিডাকশন উপপাদ্য (Deduction Theorem)
জাক হারব্রান্ড (১৯৩০) প্রমাণ করেন যে আনুষ্ঠানিক প্রমাণে কোনো অনুমান থেকে সিদ্ধান্তে পৌঁছানো এবং তাদের শর্তায়নে বাঁধা সমার্থক:
[
Gamma cup {phi} vdash psi iff Gamma vdash phi to psi
]
এই মেটা-উপপাদ্যটি গণিতবিদদের জটিল প্রমাণকে সহজ ধাপে ভাগ করার ভিত্তি গড়ে দেয়।
৫. সাউন্ডনেস ও সম্পূর্ণতা: চিন্তার সেতুবন্ধন
প্রপোজিশনাল লজিকের সবচেয়ে বিস্ময়কর সাফল্য হলো যান্ত্রিক প্রমাণ এবং মহাজাগতিক সত্যের পরম সমতা:
উপপাদ্য ১: সাউন্ডনেস ($Gamma vdash phi implies Gamma vDash phi$)
যান্ত্রিকভাবে যা প্রমাণযোগ্য, তা বাস্তব জগতেও নির্ভুল সত্য। অর্থাৎ আমাদের অনুমানের নিয়মগুলো কোনো মিথ্যা সিদ্ধান্ত উৎপাদন করতে পারে না।
উপপাদ্য ২: সম্পূর্ণতা ($Gamma vDash phi implies Gamma vdash phi$)
এমিল পোস্ট (১৯২১) প্রমাণ করেন যে যেকোনো যৌক্তিক সত্যই সসীম আনুষ্ঠানিক ধাপের মাধ্যমে প্রমাণ করা সম্ভব। কোনো সত্যই আমাদের আনুষ্ঠানিক নিয়মের নাগালের বাইরে নয়।
এর অর্থ দাঁড়ায়: একটি তত্ত্ব সামঞ্জস্যপূর্ণ (Consistent) হওয়া এবং তার একটি বৈধ মডেল থাকা একই কথা। প্রপোজিশনাল লজিকে অন্ধ গণনা এবং পরম সত্য সম্পূর্ণ একাকার হয়ে যায়।
