စည်းချပ် စနစ်

တွေးစစ်ဗေဒ(Logic)၊ သင်္ချာ၊ ကွန်ပျူတာသိပ္ပံပညာ၊ ဘာသာဗေဒတို့တွင် သုံးသော စည်းချပ် စနစ် (သို့) စည်းချပ်စနစ် ဘာသာစကား (သို့) စည်းချပ် ဘာသာစကား (အင်္ဂလိပ်: formal langauge) ဆိုသည်မှာ ပညာရပ်သုံး သင်္ကေတများကို ၎င်းတို့ လိုက်နာရမည့် စည်းချပ် သဒ္ဒါ (ဘာသာစကားအဖြစ် ဖွဲ့စည်းပေါင်းစပ်နည်း) တို့နှင့် စနစ်တကျ ရေးသားကိုင်တွယ်သည့် ဘာသာစကား စနစ်တမျိုး ဖြစ်၍၊ အရပ်သုံး ဘာသာစကား နှင့် အထိုက်အလျောက် ကွဲပြားခြားနည်းသည်။