تالار گفتمان مانشت

نسخه‌ی کامل: سوال منطق- اثبات [tex]#q->(q-> p)[/tex]
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام
دوستان این دو سوال رو میگین چکار باید کنم و اصلا چطور باید اثبات بشه؟(دو سوال متفاوت هستن)Confused
ممنون.


مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
(08 آبان 1394 02:01 ق.ظ)teraktor2003 نوشته شده توسط: [ -> ]سلام
دوستان این دو سوال رو میگین چکار باید کنم و اصلا چطور باید اثبات بشه؟(دو سوال متفاوت هستن)Confused
ممنون.




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

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

[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]

======
برای اون آخرش هم که سوال پرسیدید از قانون شرکت پذیری استفاده کن(قانون شرکت پذیری در ترکیب فصلی روی پرانتز)
(08 آبان 1394 03:16 ق.ظ)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 هست همیشه؟
ممنون.
از قانون پخشِ ترکیب فصلی استفاده کن.
====
به نظرم بهتره بری منطق رو بخونی در کل.اینطوری با ذهن راحت تری ادامه مطلب هاتو میخونی.
نهایتش 10 یا 12 تا قانونه.20 تا هم سوال براش حل کن.دو روز اینو تکرار کن ،روزی یک ساعت ،دیگه همش توی ذهنت میمونه.
(08 آبان 1394 11:51 ق.ظ)neghab01 نوشته شده توسط: [ -> ]از قانون پخشِ ترکیب فصلی استفاده کن.
====
به نظرم بهتره بری منطق رو بخونی در کل.اینطوری با ذهن راحت تری ادامه مطلب هاتو میخونی.
نهایتش ۱۰ یا ۱۲ تا قانونه.۲۰ تا هم سوال براش حل کن.دو روز اینو تکرار کن ،روزی یک ساعت ،دیگه همش توی ذهنت میمونه.

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