ညွှန်းလုံး၏ ရင်းမြစ်ကို ကြည့်ရန်

[[စည်းချပ် တွေးစစ်နည်း|စည်းချပ် တွေးစစ်ဗေဒ (Formal Logic)]] တွင် သုံးသော '''ညွှန်းလုံး''' (ခေါ်) ''နည်းစနစ်ဝင်'' '''(သရုပ်ကျော့) ဖှော်မျူလာ''' ({{lang-en|well-formed formula}}) ဆိုသည်မှာ - [[စည်းချပ် စနစ်|စည်းချပ်စနစ် ဘာသာစကား]] တခုခုတွင် [[ပုဒ်]]သဖွယ် ထည့်သွင်းအသုံးပြုနိုင်သည့် [[အခြင်းအရာ(ညွှန်း)|အခြင်းအရာညွှန်း ဝေါဟာရ အစအန တစ်ခု]]၊ သို့တည်းမဟုတ် တစ်ခုသဖွယ် တွဲလျက်လုပ်ဆောင်သော ထိုသို့ ဝေါဟာရ ပေါင်းတွဲလျက် တစ်ခုကို ညွှန်းသည်။ အကယ်၍ ဝေါဟာရအတွဲ ပုဒ် ဖြစ်နေလျှင် ([[အခြင်းအရာ(ညွှန်း)|ပိုမိုအခြေခံကျသော ဝေါဟာရ အစအန]]များကို အစိတ်အပိုင်းသဖွယ် စီစပ်ထားသည့် ပေါင်းစပ်မှု ဖြစ်နေလျှင်)၊ [[အကြောင်းသင့် ဆင်ခြင်မှု|ဆက်စပ်စဉ်းစားမှု (reasoning)]] မှန်မှန်နှင့် ပေါင်းစပ်ထားခြင်း ဖြစ်ပါမှ '''ဖှော်မျူလာ (ခေါ်) ညွှန်းလုံး မြောက်'''သည်၊ '''သရုပ်ကျော့ ဖှော်မျူလာ (မှန်ကန်အသုံးဝင်သော ညွှန်းလုံး) ဟု ခေါ်ရန်လျော်'''သည်။<br>
သာဓကအားဖြင့် [[အကြောင်းအရာ(ညွှန်း)|တွေးစစ်ဗေဒ(logic)သုံး အကြောင်းဆက် သင်္ကေတ (logical connective)]] တစ်ခု ဖြစ်သည့် <math> \lor </math> သုံး၍ <math> P</math> နှင့် <math> Q</math> ဟူသော [[အခြင်းအရာ(ညွှန်း)|ညွှန်းလုံးစ (atomic formla)]] ၂ခုကို ပေါင်းစပ်ထားသည့် <math> P \lor Q </math> ဟူသော တွေးစစ်ဗေဒသုံး ဝေါဟာရမှာ '''ညွှန်းလုံး''' တစ်ခု ဖြစ်မြောက်ပါသည်။