تالار گفتمان مانشت
سوال منطق- اثبات [tex]#q->(q-> p)[/tex] - نسخه‌ی قابل چاپ

سوال منطق- اثبات [tex]#q->(q-> p)[/tex] - teraktor2003 - 08 آبان ۱۳۹۴ ۰۲:۰۱ ق.ظ

سلام
دوستان این دو سوال رو میگین چکار باید کنم و اصلا چطور باید اثبات بشه؟(دو سوال متفاوت هستن)Confused
ممنون.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.


RE: دو سوال ساده منطق که اعصاب برای من نذاشته! - A V A - 08 آبان ۱۳۹۴ ۰۲:۴۳ ق.ظ

(۰۸ آبان ۱۳۹۴ ۰۲:۰۱ ق.ظ)teraktor2003 نوشته شده توسط:  سلام
دوستان این دو سوال رو میگین چکار باید کنم و اصلا چطور باید اثبات بشه؟(دو سوال متفاوت هستن)Confused
ممنون.




مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.

سلام. لطفا برای هر سوال تاپیک جدا بزنید.

RE: دو سوال ساده منطق که اعصاب برای من نذاشته! - neghab01 - 08 آبان ۱۳۹۴ ۰۳:۱۶ ق.ظ

سلام:

[tex]\sim q\rightarrow(q\rightarrow p)\: \: \Rightarrow\: (q\rightarrow p)\equiv\sim q\vee p\: \Rightarrow\: \sim q\rightarrow(\sim q\vee p)\: \Rightarrow\: \sim(\sim q)\: \vee\: (\sim q\vee p)\Rightarrow\: q\vee(\sim q\vee p)\Rightarrow\: q\vee p[/tex]

به جای قانون شرط معادلش رو بگیرید :

[tex]p\rightarrow q\equiv\sim p\vee q[/tex]

======
برای اون آخرش هم که سوال پرسیدید از قانون شرکت پذیری استفاده کن(قانون شرکت پذیری در ترکیب فصلی روی پرانتز)

RE: دو سوال ساده منطق که اعصاب برای من نذاشته! - teraktor2003 - 08 آبان ۱۳۹۴ ۰۴:۴۳ ق.ظ

(۰۸ آبان ۱۳۹۴ ۰۳:۱۶ ق.ظ)neghab01 نوشته شده توسط:  سلام:

[tex]\sim q\rightarrow(q\rightarrow p)\: \: \Rightarrow\: (q\rightarrow p)\equiv\sim q\vee p\: \Rightarrow\: \sim q\rightarrow(\sim q\vee p)\: \Rightarrow\: \sim(\sim q)\: \vee\: (\sim q\vee p)\Rightarrow\: q\vee(\sim q\vee p)\Rightarrow\: q\vee p[/tex]

به جای قانون شرط معادلش رو بگیرید :

[tex]p\rightarrow q\equiv\sim p\vee q[/tex]

سلام خیلی ممنون از شما...فقط در مورد قسمت اخرش توضیح می دین؟ q v p جواب نهاییه؟ شرمنده من چون در این زمینه وارد نیستم نمی تونم درک کنم این جواب چطور اون سوال رو اثبات کردهHuh
q V (nq V p) = q V p هست همیشه؟
ممنون.

RE: دو سوال ساده منطق که اعصاب برای من نذاشته! - neghab01 - 08 آبان ۱۳۹۴ ۱۱:۵۱ ق.ظ

از قانون پخشِ ترکیب فصلی استفاده کن.
====
به نظرم بهتره بری منطق رو بخونی در کل.اینطوری با ذهن راحت تری ادامه مطلب هاتو میخونی.
نهایتش ۱۰ یا ۱۲ تا قانونه.۲۰ تا هم سوال براش حل کن.دو روز اینو تکرار کن ،روزی یک ساعت ،دیگه همش توی ذهنت میمونه.

RE: دو سوال ساده منطق که اعصاب برای من نذاشته! - teraktor2003 - 08 آبان ۱۳۹۴ ۰۲:۰۹ ب.ظ

(۰۸ آبان ۱۳۹۴ ۱۱:۵۱ ق.ظ)neghab01 نوشته شده توسط:  از قانون پخشِ ترکیب فصلی استفاده کن.
====
به نظرم بهتره بری منطق رو بخونی در کل.اینطوری با ذهن راحت تری ادامه مطلب هاتو میخونی.
نهایتش ۱۰ یا ۱۲ تا قانونه.۲۰ تا هم سوال براش حل کن.دو روز اینو تکرار کن ،روزی یک ساعت ،دیگه همش توی ذهنت میمونه.

سلام
قاون ها رو خوندم ولی حقیقتش نمی دونم چطور درستی یک رابطه ثابت می شه
مثلا همین مورد p Vq یه رابطه همیشه درسته؟چون "یا" داریم؟در مورد این اگه توضیح بدین ممنون میشم
یه محبتی هم بکنین سوال دوم منو تو همین بخش یه نگاه بدازین و بگین به نظرتون چیکا باید بکنم؟
ممنون.