Мавжудлик квантори.
Таoриф. Мавжудлик квантори орыали боьланиш амали деб,шундай ыонин-ыоидага айтиладики,бу ыоидага кщра М тщмламда аниыланган ъар ыандай Р(х) предикатга шундай мулохаза мос ыщйиладики [(х)(Р(х))] каби белгиланади . Бумулохазага Р(х) предикат айнан ёльон предикат бщлгандагина ёльон мулохаза,ыийматга эга бщлиб,яoни
[(х)(Р(х))] =
Бу ерда белги мавжудлик квантори белгиси ъисобланиб,ингилизча “exist” мавжудлик сщзидан олинган.
х белги эса х щзгаручи бщйича мавжудлик квантори орыали боьланиш деб юритилади.
(х)(Р(х)) ёзув щуйдагича щыилади: шудай х нинг ыиймати мавжудки, Р(х) щринлидир ёки ростир.
Do'stlaringiz bilan baham: |
