Прэдыкат
From Wikipedia, the free encyclopedia
Прэдыкат (ад лац.: praedicare — абвяшчаць, заяўляць, прысуджаць) у сучаснай логіцы звычайна азначае булевазначную функцыю P: X→ {0, 1}, называецца прэдыкатам на X. Аднак, прэдыкаты маюць шмат розных інтэрпрэтацый і спосабаў выкарыстання ў матэматыцы і логіцы, і іх дакладнае вызначэнне адрозніваецца ад тэорыі да тэорыі. Напрыклад, калі ў якой-небудзь тэорыі ўводзіцца паняцце дачыненне, тады прэдыкат — гэта проста харакцерыстычная або індыкатыўная функцыя на стаўленні. Аднак, не ва ўсіх тэорыях вызначаецца паняцце адносіны, у адрозненне ад заснаваных на тэорыі лікаў, і таму варта быць уважлівым з правільным вызначэннем і семантычнай інтэрпрэтацыяй прэдыкатаў.
Прыкладамі прэдыкатаў будуць выразы (x > 2), (x+3) = y (x> 3 і y < x). Пры замяшчэнні x 2 і y на 5 другі з прэдыкатаў вызначае сапраўднае выказванне, а іншыя два — ілжывыя.