Propositional منطق

د اصطلاح د "منطق څرګندونو" تعریف باید په روښانه توګه پوه شو چې ورته دی "وايي."

نو، په خبرپاڼه کې د يوه سزا ده، تصنیف grammatically صحيح ده، او غلط يا ریښتیني. دا تصور باید یو ټاکلي مفهوم څرګند کړي. د مثال په توګه، د عبارت "تنکو د مرغانو د يو" د لاندې برخې لري: "تنکو" او "د مرغۍ".

همدا لامل دی چې د منطق او مهم لومړنۍ مفاهیمو یو څرګندونې دي. دغه مفاهیمو باید یو ځانګړی حالت په کوم کې چې خبرپاڼه يا څه یا منفی دی تشریح.

دا په پام کې یو ریښتیني د بیان وي، که د حالت د کرښې د بیلګو په حقیقت کې کله چې circumscribing. پخپله، "غلط" او "رښتيا" د جملو د حقیقت معلوم کړي.

Propositional منطق د ساده او پیچلي څرګندونې لري. نو يوازې د فکر په خبرپاڼه کې، چې په خپل ترکیب نورو څرګندونې نه دي شاملې. او د پيچلو شامل څرګندونې چې د مشتق څخه د يوه ساده، منطقي اړیکي څرګندونې.

propositional کلاسیکي منطق کولای شي د مجرايي عمومي تيوري له خوا وښودل شي. دا ده چې د منطق، چې تشريح د ساده اظهار منطقي تړاو د څرګندونو سره تړاو نه لري برخه ده.

يوه ستونزمنه proposition له خوا کلمه "او" د کارولو دوه ساده څرګندونې د ګډو ترلاسه - نه د conjunctions ذکر. د تړاو حقيقت تاييد چې ټولې اعالمیې په خپل جوړښت شامل دي. په هغه صورت کې چې لږ تر لږه د خپلو غړو د غلط يو، ټول په ګډه د يوه نښه ده "دروغ."

پخپله په تړاو د پیچلو جملو، چې د دغو انګیرنو پر بنسټ شوي دي جوړ کړي دي:

- کوم بيان د (او ساده او پیچلي) کولی شي، يا او یا غلط.

- د پیچلي اوتيرايستونکې خبرې د حق د څرګندونو په کې شامل او په هغې کې د منطقي تړنې حق پورې اړه لري.

کله چې د کلمې په کارولو سره د دوو جملو سره نښلوي "یا" لا د disjunction تر لاسه کړل. په ورځني ژوند، د دغه مفکورې کولای څخه د دوو مختلفو مانا له نظره په سترګه وکتل شي. لومړی، دا غیر ځانګړې احساس، چې مانا یې د بيان د حق، د رښتيا د بيان د دوه يو په پام کې او یا دي دوی د دوو هغو. دوهم، د احساس د له منځه وړلو څرګندوي، چې د اظهار يوه سمه ده، او د نورو - ده غلط.

Propositional فورمولونه ځانګړي خویونه لري. په دې ډول، په disjunction سمبول V ښيي چې د بيان د سمه ده او که د لږ تر لږه د څرګندونو یو، او که دواړه د خپل غلط خصیو ته غلط حقیقت.

په ضمني ډول د معلومولو د ادعا چې د اډې څرګندونو نه شي په ناسم څېړنې ریښتیني وي. په بل عبارت، د دغه مفکورې implies اتکا حقیقت او یا د د د د خپلو برخو او د دوی د اړیکو د ميتودونو د ارزښت د بيان د غلطي.

سره له دې چې د تضمن ده د ځينو موخو لپاره خورا ګټور، دا سره په عمومي توګه د مخابراتو د دوديزې تفاهم ډېر سمون نه لري. نو، کله چې دا آله د د د د جملو د مفهوم ورکړل منطقي چلند د مهم مشخصات څو ښايي د دا يو مناسب Description نه وي احاطه.

Propositional منطق په موخه لکه د مرکزي کاري د حل، د سم او ناسم circuits استدلال او systematization لومړي جلا توګه. د حق پايله تر لاسه کړي، تاسو باید په ځانګړي توري چې د يو يا بل ډول استازیتوب وکړي. نو اشاره په داسې ښئي کمې لغاتونه لکه "یا" د ګټې، "او،" او داسې نور

منطق څرګندونو هم لري خپلې ژبې، د لاندې عناصرو څخه جوړه ده:

- د اصلي توري زما نښانونه - متحولونه، منطقي ثوابت، او تخنیکي سمبولونو؛

- فورمولونه.

د هغه څه وويل ښه پوهه تاسو باید د مشخصو مثالونو ته ولاړ شي. \ / یا \ º / - د مثال په توګه، د په تړاو د سمبول &، disjunction وکاروي.