တွေးစဉ်

တွေးစစ်ဗေဒ (Logic) တွင် တွေးစဉ် (သို့) တွေးချက် အစဉ်အတန်း (သို့) တွေးလုံးစု () ဆိုသည်မှာ -
 သိထားချက်များ (premises) အဖြစ် လျာထားသော တွေးလုံးစာရင်းနှင့်
 ၎င်းလျာထားစာရင်းကို အခြေပြုသည့် ကောက်ချက် (conlusion) အဖြစ် ဆင့်တွေးသော အဆိုပြုတွေးလုံး
ဤသို့သော တွေးလုံး(တွေးချက်) အစဉ်အတန်း တွဲလျက်ပေါင်းလျက် တစ်ခုတစ်ခုကို ညွှန်းဆိုသည်။

စည်းချပ် တွေးစစ်ဗေဒ (Formal Logic) တွင်၊ တွေးစဉ်တခုခုကို သင်္ချာနည်းဖြင့် အစုတစ်ခု သဖွယ် စဉ်းစားကိုင်တွယ်လျှင် တွေးလုံးများ (premises) မှာ ၎င်း၏ အစုဝင်များ ဖြစ်နေမည်။