ညွှန်းလုံး

စည်းချပ် တွေးစစ်ဗေဒ (Formal Logic) တွင် သုံးသော ညွှန်းလုံး (ခေါ်) နည်းစနစ်ဝင် (သရုပ်ကျော့) ဖှော်မျူလာ (အင်္ဂလိပ်: well-formed formula) ဆိုသည်မှာ - စည်းချပ်စနစ် ဘာသာစကား တခုခုတွင် ပုဒ်သဖွယ် ထည့်သွင်းအသုံးပြုနိုင်သည့် အခြင်းအရာညွှန်း ဝေါဟာရ အစအန တစ်ခု၊ သို့တည်းမဟုတ် တစ်ခုသဖွယ် တွဲလျက်လုပ်ဆောင်သော ထိုသို့ ဝေါဟာရ ပေါင်းတွဲလျက် တစ်ခုကို ညွှန်းသည်။ အကယ်၍ ဝေါဟာရအတွဲ ပုဒ် ဖြစ်နေလျှင် (ပိုမိုအခြေခံကျသော ဝေါဟာရ အစအနများကို အစိတ်အပိုင်းသဖွယ် စီစပ်ထားသည့် ပေါင်းစပ်မှု ဖြစ်နေလျှင်)၊ ဆက်စပ်စဉ်းစားမှု (reasoning) မှန်မှန်နှင့် ပေါင်းစပ်ထားခြင်း ဖြစ်ပါမှ ဖှော်မျူလာ (ခေါ်) ညွှန်းလုံး မြောက်သည်၊ သရုပ်ကျော့ ဖှော်မျူလာ (မှန်ကန်အသုံးဝင်သော ညွှန်းလုံး) ဟု ခေါ်ရန်လျော်သည်။
သာဓကအားဖြင့် တွေးစစ်ဗေဒ(logic)သုံး အကြောင်းဆက် သင်္ကေတ (logical connective) တစ်ခု ဖြစ်သည့် $\lor$ သုံး၍ $P$ နှင့် $Q$ ဟူသော ညွှန်းလုံးစ (atomic formla) ၂ခုကို ပေါင်းစပ်ထားသည့် $P\lor Q$ ဟူသော တွေးစစ်ဗေဒသုံး ဝေါဟာရမှာ ညွှန်းလုံး တစ်ခု ဖြစ်မြောက်ပါသည်။