သင်္ချာယုတ္တိဗေဒ

ဝီကီပီးဒီးယား မှ
၂၁:၂၂၊ ၂၃ ဇန်နဝါရီ ၂၀၁၅ နေ့က မင်းသန့် (ဆွေးနွေး | ပံ့ပိုး) (ဘာသာပြန်ပြောင်း) တည်းဖြတ်သည့်မူ
(ကွဲပြားမှု) ← မူဟောင်း | နောက်ဆုံး မူ (ကွဲပြားမှု) | ပိုသစ်သော တည်းဖြတ်မူ → (ကွဲပြားမှု)

သင်္ချာယုတ္တိဗေဒ (mathematical logic) ဆိုသည်မှာ ပုံစံတကျ ယုတ္တိဗေဒ (formal logic) ကို သင်္ချာပညာ၌ အသုံးပြုပုံအား လေ့လာသည့် ဘာသာရပ်ဖြစ်သည်။