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

ဝီကီပီးဒီးယား မှ

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