ဆင်ခြင်တုံတရားသိမှတ်ခံစားမှု၏ Form ကို

ဆင်ခြင်တုံတရားအသိပညာ၏အဓိကပုံစံများ - ဤသူသည်သင်တို့ယုတ္တိဗေဒနှင့်စဉ်းစားတွေးခေါ်ထက်အချည်းနှီးသောထင်ကြေးအပေါ်အခြေခံပြီးရည်မှန်းချက်နည်းလမ်းများအားဖြင့်လောကဓာတ်စူးစမ်းလေ့လာခွင့်ပြုရာဖြစ်တယ်။ တစ်ဦးချင်းစီအတွက် options တစ်ခုချင်းစီဖို့လုံလောက်တဲ့အာရုံစိုက်မှုပေးစေခြင်းငှါ, အယူအဆ, တရားသဖြင့်စီရင်ခြင်းနှင့်ဆင်ခြင်ခြင်း - ဤဆောင်းပါးထဲမှာအကြှနျုပျတို့ဆင်ခြင်တုံတရားအသိပညာသုံးခုပုံစံများကိုကြည့်ပါလိမ့်မယ်။ သငျသညျအရှုပ်ထွေးဆုံးရန်သင့်လမ်းအလုပ်လုပ်, အရှိဆုံးရိုးရှင်းသောနှင့်အတူစတင်သင့်ပါတယ်။

ဆင်ခြင်တုံတရားသိမှတ်ခံစားမှုတစ်ခုပုံစံအဖြစ်အယူအဆ

ပထမဦးဆုံးခြေလှမ်းကိုအသုံးပြုစည်းကမ်းချက်များသတ်မှတ်ဖို့ဖြစ်ပါတယ်။ အဆိုပါကုလားထိုင်, တန်တိုင်းရိုး: အဆိုပါသင့်လျော်သောအမည်အားကွန်ကရစ်အရာဝတ္ထုဆိုလိုသညျ။ ဘုံနာမတော်လူတန်းစားအဖြစ် object တစ်ခုကိုရည်ညွှန်း: စတာတွေသစ်ပင်များ, မှတ်စုစာအုပ်,

"တံခါး", "ဘုတ်", "ကြောင်": သဘောတရားများကိုလက်တွေ့များ၏အဖြစ်အပျက်များနှင့်အရာဝတ္ထုများ၏အမည်များဖြစ်ကြသည်။ မဆိုအယူအဆနှစ်ခုကိုအဓိကလက္ခဏာများရှိပါသည် - အတိုင်းအတာနဲ့ content:

  1. အယူအဆ၏ scope - ဒီအချက်အယူအဆမှပြောပြတယ်မီနှင့်အပြီးလက်ရှိဖြစ်သည့်အရာဝတ္ထုအစုတခုဖြစ်ပါတယ်။ ဥပမာ, "လူ" ၏အယူအဆ - ဒီလူဟောင်းနှင့်တစ်ဦးသောသူသည်ယနေ့လူတို့အနာဂတ်။
  2. အဓိပ္ပာယ် - ဤအယူအဆရဲ့အနှစ်သာရကမှအစေခံသောသူအပေါင်းတို့သည်အရိပ်လက္ခဏာက၎င်း၏သံန္နိဌာန်လုပ်ခွင့်ပြုပါတယ်။

ထို့ကြောင့်အယူအဆ - ကမည်သူမဆိုတစ်ဦးစကားလုံးနောက်ကွယ်ကခြောငျးအရာတစ်တန်းလုံး၏အနှစ်သာရကိုရှင်းပြဖို့ဒီဇိုင်းလက္ခဏာတွေအမျိုးမျိုးကိုအကျဉ်းဖော်ပြပေးမယ့်အတွေး, တစ်ဦးအထူးသဖြင့်အနက်ကို, ပါပဲ။ သင်တစ်ဦးသည်အလွန်ရှင်းရှင်းလင်းလင်းနဲ့နားလည်နိုင်ပုံစံကိုတွေ့လိမ့်မည်သည်အထိသိပ္ပံသဘောတရားများကိုလောကီသားတို့သည်အတွင်, သည်အထိမြေပြင်ဖြစ်ကြသည်။ အဖြစ်မှန်၏ဖြစ်ရပ်မဆို၏အနှစ်သာရသဘောတရားများအပေါ် အခြေခံ. ရှင်းလင်းထားပါသည်။

ဆင်ခြင်တုံတရားအသိပညာ၏ Form ကို: တရားသဖြင့်စီရင်

ဆင်ခြင်တုံတရားအသိပညာ၏နောက်ထပ်ပုံစံ - ဤတရားသဖြင့်စီရင်။ အမည်ရအများအပြားအယူအဆ၏ဆက်ဆံရေး - ဒါဟာပိုမိုရှုပ်ထွေးဖွဲ့စည်းပုံမှာဖြစ်ပါတယ်။ အထွေထွေစည်းမျဉ်းအတိုင်း, တရားသဖြင့်စီရင်တဲ့စာတမ်းအတည်ပြုသို့မဟုတ်ငြင်းပယ်ရန်သော်လည်းကောင်းရည်ရွယ်သည်။ သိပ္ပံပညာ၏ကမ်ဘာပျေါမှာအဓိကအခန်းကဏ္ဍဆိုလိုသည်မှာအဖြစ်ဘာမှပြောပါ, "istinonosnymi" သောသူတို့အားတရားစီရင်ပိုင်ထိုသို့ပေးတော်မူ အမှန်တရား ။ ဒါဟာ၎င်းတို့အားလုံးကိုအမှန်တရားဖြစ်လိမ့်မည်သည်ဟုထုတ်ပြန်ချက်တွင်ဖော်ပြထားသည်ကျိုးနပ်သည်။

ကွဲပြားခြားနားသောထင်မြင်ချက်များ၏ဥပမာ: "ဒီကမ္ဘာမြေဟာနေရောင်ခြည်စွမ်းအင်သုံးစနစ်တတိယခြေလှမ်းတစ်ခုဂြိုဟ်ဖြစ်ပါတယ်", "ကမ္ဘာမြေမျှအဖော်ရှိပါတယ်။ " ပထမဦးဆုံးအအခိုင်အမာစစ်မှန်တဲ့, အဘယ်သူမျှရန်ဒုတိယဖြစ်ပြီး, သူတို့နှစ်ဦးစလုံးအတန်းတရားသဖြင့်စီရင်တွင်ထည့်သွင်းထားပါသည်။ တကယ်တော့မည်သည့်ထားသောစာပိုဒ်တိုများမဟုတ်အမှန်တရားမဟုတ်, မုသာသယ်မ "ငါ့ကိုစာအုပ်, Give" ကပဲတစ်ဦးစကားရပ်ရဲ့အပင်လျှင်, တရားသဖြင့်စီရင်မှစွပ်စွဲနိုင်ပါတယ်။

အမှန်တရား-တရားစီရင်ခြင်းကိုသေချာပေါက်အစိတ်အပိုင်းများဆံ့:

  1. စီရင်တော်မူခြင်း၏ဘာသာရပ် (သို့မဟုတ်သောတရားသဖြင့်စီရင်အစီရင်ခံနေသည်ကားအဘယ်သို့) ။ သိပ္ပံနည်းကျအသိုင်းအဝိုင်းအတွက်သတ်မှတ်ရေးအက္ခရာအက်စ်လက်ခံခဲ့သည်
  2. အဆိုပါ predicate (ထိုတရားသဖြင့်စီရင်သယ်ဆောင်သောသတင်းအချက်အလက်) ။ သိပ္ပံနည်းကျအသိုင်းအဝိုင်းအတွက်သတ်မှတ်ရေးစာတစ်စောင် R. လက်ခံခဲ့သည်
  3. "ဖြစ်ပါတယ်" ၏အရေးကြီးစည်း - အကြောင်းအရာနှင့် predicate အကြားဆက်သွယ်ထားသော link ကို။

ကိုမဆိုအဆိုပြု၏သမ္မာတရား scheme ဟာပုံသေနည်း "S ကိုတစ်ဦး P ကိုရှိပါတယ်" ဖြစ်စဉ်းစားသည်။ ဥပမာ: "ဆံပင် - အလင်း", "ကျောင်းသား - လိမ္မာပါးနပ်။ " ဘာသာရပ်များ: ဆံပင်, ကျောင်းသား။ Predicates: တောက်ပ, အသိဉာဏ်။ ဒါကြောင့်အများအားစာကြောင်းများဆောက်လုပ်ရေးအတွက်ချန်လှပ်သည်ဘာသာစကားရုရှ၌ရှိသကဲ့သို့ word-စည်းမကြာခဏစကားလုံးက "ဒီ" ဌအစားထိုး, တနျဖိုးအားဖြင့်ဆိုလိုရပါမည် "ဖြစ်ပါတယ်" တစ်ဦး dash သည်။

ဆင်ခြင်တုံတရားအသိပညာ၏ Form ကို: နိဂုံးပိုင်း

ဤသည်မှာတရားစီရင်ပိုင်၏နံပါတ်ဆက်သွယ်သောဆင်ခြင်တုံတရားအသိပညာ၏အမြင့်ဆုံးအဆင့်အထိဖြစ်ပါတယ်။ ကောက်ချက် - ပုံမှန်အားဖြင့်, ထိုအခြအခြားအုပ်စု, ချောထုပ်ကိုရည်ညွှန်းထားတဲ့တရားစီရင်ပိုင်၏အုပ်စုတစုကနေဖြစ်သင့်သည်။ ဥပဒေရှိပါသည်: စစ်မှန်တဲ့ရဝုဏ်လျှင်, အချို့သောအတိုင်းအတာအထိစစ်မှန်တဲ့ဖြစ်နှင့်နိဂုံးချုပ်ရန်။

ကအမြင့်မားဆုံးဒီဂရီတငျပွစိတ်ထက်လျော့နည်းပြောင်းလွယ်ပြင်လွယ်ခြင်းနှင့်သီအိုရီအမျိုးအစားဖြစ်ပါသည် - ဒါဟာဆင်ခြင်တုံတရားအသိပညာ၏ပုံသဏ္ဍာန်လူ့စိတ်အကြောင်းအရာကိုယ်စားပြုကြောင်းမှတ်သားရပါမည် ယုတ္တိဗေဒ ။