فہرست کا خانہ:
تعریف - کوانٹفائیر کا کیا مطلب ہے؟
منطق میں ، کوانٹفائیر ایک زبان کا عنصر ہے جو ایک مقدار پیدا کرنے میں مدد کرتا ہے ، جو ایک ایسا تعمیر ہے جس میں دیئے گئے ڈومین میں نمونوں کی تعداد کا تذکرہ کسی کھلے فارمولے کو مطمئن کرتے ہیں۔ کوانٹفائیر بڑے پیمانے پر منطق ، قدرتی زبانیں اور مجرد ریاضی میں استعمال ہوتے ہیں۔
ٹیکوپیڈیا نے کوانٹافیئر کی وضاحت کی
کوانٹفائیرس کو مقدار کے اظہار میں استعمال کیا جاتا ہے جس میں مفت متغیرات کوانٹیفائیرس کے پابند ہوتے ہیں۔ دوسرے لفظوں میں ، پیش گوئیوں کے متغیرات کوانٹیفائیرس کے ذریعہ مقدار کی گنجائش کی جاتی ہے۔ پیش گوئی منطق میں دو معروف کوانٹیفائرز استعمال کیے گئے ہیں: آفاقی کوانٹافیئر اور وجودی کوانٹیفائر۔ آفاقی مقدار میں یہ دعویٰ کیا گیا ہے کہ اس کے دائرہ کار میں بیانات متغیر متغیر کی ہر قیمت کے لئے درست ہیں ، جبکہ وجودی مقدار کی صورت میں ، یہ دعوی کرتا ہے کہ اس کے دائرہ کار میں بیانات صرف متغیر کی کچھ اقدار کے لئے درست ہیں۔ آفاقی مقدار کو علامت by کی طرف سے اشارہ کیا جاتا ہے ، جو الٹی اے کی طرح ہوتا ہے۔ وجودی کوانٹیفائر کو علامت by کے ذریعہ ظاہر کیا جاتا ہے ، جو پیچھے کی طرف E کی طرح ہوتا ہے۔
کوانٹافیئر رینک کسی دیئے ہوئے فارمولے میں کوانٹفائیرس کے لest گھوںسلی کی زیادہ سے زیادہ گہرائی کی وضاحت کرتا ہے۔ واضح رہے کہ منطق کے مفہوم کے لئے کوانٹفائیرس کا حکم اہم ہے۔ پیش گوئی منطق اور مجرد ریاضی میں کوانٹافیئرس کا وسیع استعمال ہوتا ہے ، کیونکہ وہ دیئے گئے منطقی بیان کے ترجمے میں معاون ہوتے ہیں۔
