တွေးစစ်သုံး သင်္ကေတ

တွေးစစ်ဗေဒ (Logic) တွင် အသုံးပြုသော သင်္ကေတများ (အင်္ဂလိပ်: symbols) သို့မဟုတ် တွေးစစ်သုံး သင်္ကေတများ (အင်္ဂလိပ်: logical symbol) ဆိုသည်မှာ မည်သည့် အခြင်းအရာကို ဖြစ်စေ၊ အကြောင်းအရာကို ဖြစ်စေ စည်းချပ်စနစ်နှင့် ရေးသားခြင်းများ၌ သုံးရန် လေ့လာသူချင်း ညှိယူသတ်မှတ်ထားသော အရေးအခြစ် ပုံပန်းများ ဖြစ်သည်။

မည်သည့်ပုဂ္ဂိုလ်၊ မည်သည့်အရာ၊ မည်သည့် အဖြစ်အပျက် စသည့် အခြင်းအရာများကို အခြင်းအရာ ညွန်းလုံး (atomic formula)တို့နှင့် ကိုယ်စားပြုကြသည်။
ဖြစ်ပျက်ခြင်း-မဖြစ်ပျက်ခြင်း၊ အခြားအခြင်းအရာနှင့် ဆန့်ကျင်ခြင်း၊ ပေါင်းစည်းခြင်း၊ အကြောင်းအရင်း ဖြစ်ခြင်း အကျိုးရလဒ် ဖြစ်ခြင်း၊ စသည်ကို့ကိုမူ အကြောင်းအရာ သင်္ကေတ (logical connective)တို့နှင့် ကိုယ်စားပြုကြသည်။
သို့ဖြင့် အခြင်းအရာ သင်္ကေတတို့ကို ဇာတ်ကောင်သဖွယ်၊ အကြောင်းအရာ သင်္ကေတတို့ကို ဇာတ်ကောင်တို့ကြား ဆက်စပ်ပုံသဖွယ် ထားလျက် ရေးသားတွေးခေါ်ကြလျှင်၊ စည်းချပ်တွေးစစ်ဗေဒ (formal logical)၌ သင်္ချာကြားခံသဖွယ် အသုံးပြုလေ့လာကြသည့် စည်းချပ် စနစ် စည်းချပ်စနစ် (formal language)ကို ပညာရပ်သုံး ဘာသာစကား တစ်ခုအဖြစ် ရရှိပေသည်။