Propositional منطق

اصطلاح "propositional منطق" کی وضاحت کرنے کے لئے، یہ کیا ایک "بیان" ہے واضح طور پر سمجھنے کے لئے یہ ضروری ہے.

لہذا، بیان ایک جملہ، درجہ بندی گرائمر صحیح ہے اور غلط یا درست ہے. یہ نظریہ کہ ایک خاص معنی کا اظہار کرنا چاہیے. "کینری" اور "پرندہ" مثال کے طور پر، جملہ مندرجہ ذیل اجزاء شامل ہیں "کینری چڑیا ایک ہے".

کیوں منطق کی اور کلید ابتدائی تصورات میں سے ایک یہ کہہ رہے ہیں. یہ تصورات جس میں بیان کسی چیز یا انکار یا تو ایک مخصوص صورت حال کی وضاحت کرنا ضروری ہے.

اس صورت حال کا پتہ لگایا لکیر حقیقت یہ circumscribing جاتا ہے جب، اگر ایک سچا بیان سمجھا جاتا ہے. خود کی طرف سے، "باطل" اور "سچ" کے بیانات کی سچائی کا تعین.

Propositional منطق سادہ اور پیچیدہ اظہار کے پر مشتمل ہوتا ہے. لہذا، صرف بیان اس کی ساخت دیگر اظہارات میں شامل نہیں ہے کہ لگتا ہے. اور پیچیدہ کرنے کے تاثرات ایک سادہ، منطقی طور پر منسلک بیانات سے حاصل کر رہے ہیں شامل ہیں.

کلاسیکل propositional منطق کٹوتی کے عمومی اصول کی طرف سے نمائندگی کیا جا سکتا ہے. اس منطق، سادہ اظہار کے منطقی کنکشن کے بیانات پر انحصار نہیں بیان کرتا ہے جس کا وہ حصہ ہے.

ایک مشکل تجویز لفظ "اور" کا استعمال کرتے ہوئے دو آسان کے تاثرات کو یکجا کر کے حاصل کی - عاون حروف نہیں ذکر کرنا. مل کر کی حقیقت یہ ہے کہ تمام بیانات اس کی ساخت میں شامل تصدیق. صورت میں جہاں اس کے اراکین ایک جھوٹا کا کم از کم ایک، پورے مل کر کی نشانی ہے "جھوٹ".

خود پیچیدہ بیانات، ان مفروضوں پر مبنی ہیں جس کی تشکیل کے لئے ایک مل کر یہ ہے کہ:

- (اور سادہ اور پیچیدہ) کسی بھی اظہار یا تو صحیح یا غلط ہو سکتا ہے؛

- پیچیدہ لہجوں کی سچائی اس میں موجود بیانات اور اس میں منطقی لنکس کی سچائی پر منحصر ہے.

لفظ کو استعمال کرتے ہوئے دو بیانات منسلک جب "یا" پہلے ہی disjunction حاصل کی جاتی ہے. روزمرہ کی زندگی میں، اس تصور کو دو مختلف معانی کے نقطہ نظر سے دیکھے جا سکتے ہیں. سب سے پہلے، یہ ہے جس سے قطع نظر دو میں سے ایک کے حقیقی اظہار رائے کی اظہار رائے کی سچائی کا مطلب یا وہ دونوں میں سے ان لوگوں کے ہیں غیر خصوصی احساس ہے. دوسرا، احساس کو ختم کرنے کہ اظہارات میں سے ایک سچ ہے پر زور دیا، اور دیگر - جھوٹی ہے.

Propositional فارمولوں خاص حروف پر مشتمل ہے. اس طرح، disjunction علامت میں V کی طرف اشارہ کرتا ہے کہ اظہار سچ ہے تو بیانات کی کم از کم ایک ہے، اور اس کے جھوٹے عضو تناسل دونوں تو جھوٹے کی حقیقت.

مطلب کا تعین کرنے میں دعوے بیس بیانات کو غلط تفتیش پر درست نہیں ہو سکتا ہے کہ نہیں ہے. دوسرے الفاظ میں، اس تصور انحصار سچ یا اس کے اجزاء اور ان کے تعلقات کے طریقوں کی قدر کے اظہار کی استیتا مطلب.

حقیقت یہ ہے کہ مطلب کچھ مقاصد کے لئے بہت مفید ہے کے باوجود، یہ عام طور پر مواصلات کی روایتی سمجھ بوجھ کے ساتھ بہت یکساں نہیں ہے. لہذا، جب یہ ڈیوائس تصور دیا بیانات کے منطقی رویے کی اہم خصوصیات میں سے بہت سے اس کی کافی مقدار میں وضاحت نہیں ہو سکتا گھیر.

Propositional منطق پہلی درست اور غلط سرکٹس ترک اور systematization کی علیحدگی کے طور پر، اس طرح ایک مرکزی کام کے حل کا مقصد. صحیح نتیجہ کو حاصل کرنے کے لئے، آپ کو خاص حروف کو ایک یا دوسرے فارم کی نمائندگی کر سکتے ہیں پر توجہ مرکوز کرنے کی ضرورت ہے. لہذا جیسا کہ "یا" اس طرح بظاہر معمولی الفاظ میں دلچسپی ظاہر کی ہے، "اور" وغیرہ

منطق کے بیانات بھی درج ذیل عناصر پر مشتمل ہے، اس کی اپنی زبان میں ہے:

- اصل حروف - متغیر، منطقی constants کی، اور تکنیکی علامات؛

- فارمولوں.

کہا گیا ہے اس کی بہتر تفہیم کے لئے آپ کو مخصوص مثالیں پاس جانا چاہئے. \ / یا \ º / - مثال کے طور پر مل کر کی علامت &، disjunction استعمال کرتے ہیں.