تالار گفتمان مانشت
مشکل در منطق گزاره ها - نسخه‌ی قابل چاپ

مشکل در منطق گزاره ها - vahidir - 11 مهر ۱۳۹۲ ۰۶:۵۸ ب.ظ

دوستان سلام
من تو این سوال ها خیلی مشکل دارم میتونید بگید این سوال ها رو چطوری باید حل کنم
لطف کنید بصورت مرحله به مرحله و ساده توضیح بدین
[تصویر:  217388_60743370768854036014.jpg]

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - amir11205 - 11 مهر ۱۳۹۲ ۰۸:۰۲ ب.ظ

شما باید برای ساده سازی عبارات از همون فرمول های هم ارزی مهم که عکسشو گذاشتین استفاده کنین. حالا اگه میخواین اثبات همون فرمول های اصلی هم ارزی هم بدونین که اصلا سخت نیس. روش فکر کنین دستتون میاد. مثلا در P or T چون میدونین هر چیزی با or ، T بشه بازم جواب T میشه، پش مقدار T یا همون True عضو غلبه برای عملگر or هستش.

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - rad.bahar - 11 مهر ۱۳۹۲ ۱۱:۱۷ ب.ظ

عبارت دوم پرانتزگداری درست رعایت نشده
عبارت اول را مطمئن هستید درست هست چون اگر p=true,q=false باشد سمت چپ عبارت برابر true و سمت راست عبارت برابر false می شود به نظرم در مورد عبارت اول این دو جمله درست می باشند
[tex](p\dagger q )\dagger (q\dagger q)\equiv p\cup q[/tex]
[tex](p\dagger q )\dagger (q\dagger q)\equiv q[/tex]

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - vahidir - 11 مهر ۱۳۹۲ ۱۱:۵۰ ب.ظ

(۱۱ مهر ۱۳۹۲ ۱۱:۱۷ ب.ظ)rad.bahar نوشته شده توسط:  عبارت دوم پرانتزگداری درست رعایت نشده
عبارت اول را مطمئن هستید درست هست چون اگر p=true,q=false باشد سمت چپ عبارت برابر true و سمت راست عبارت برابر false می شود به نظرم در مورد عبارت اول این دو جمله درست می باشند
[tex](p\dagger q )\dagger (q\dagger q)\equiv p\cup q[/tex]
[tex](p\dagger q )\dagger (q\dagger q)\equiv q[/tex]

داداش بله شما درست میگین
داداش شما مرحله به مرحله یادم میدی که اصلا باید اول چیکار کنم؟

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - black_knight - 12 مهر ۱۳۹۲ ۱۲:۰۱ ق.ظ

سلام
جواب اولی
[تصویر:  217480_50461273580266970171.gif]
و دومی
[تصویر:  217480_34415260519538980244.gif]

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - vahidir - 12 مهر ۱۳۹۲ ۱۲:۰۸ ق.ظ

(۱۲ مهر ۱۳۹۲ ۱۲:۰۱ ق.ظ)black_knight نوشته شده توسط:  سلام
[tex]\overline{\left ( \overline{\left (p \wedge q \right )}\wedge \overline{\left (q \wedge q \right )} \right )}= \left ( \left (p \wedge q \right ) \vee \left (q \wedge q \right ) \right ) = \left ( \left (p \vee q \right ) \wedge q \right ) = q[/tex]

[tex]\left ( \bar{p}\wedge \left ( p \vee q \right ) \right )\rightarrow q = \overline{\left ( \bar{p}\wedge \left ( p \vee q \right ) \right )}\vee q = \left ( p\vee \left ( \bar{p} \wedge \bar{q} \right ) \right )\vee q = \left ( p\vee \bar{q} \vee q \right ) = T[/tex]
داداش دمت گرم اگه امکان داره یادم بده
اصلا چطوری حلش کردی؟

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - black_knight - 12 مهر ۱۳۹۲ ۱۲:۳۸ ق.ظ

تو معادله اول (تعریف ننده) که میشه (نات اند) و ساده سازی ادامش
تو دومی هم (عبارت شرطی) معادله با (نقیض مقدم 'یا' تالی)

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - vahidir - 12 مهر ۱۳۹۲ ۱۲:۴۶ ق.ظ

(۱۲ مهر ۱۳۹۲ ۱۲:۳۸ ق.ظ)black_knight نوشته شده توسط:  تو معادله اول (تعریف ننده) که میشه (نات اند) و ساده سازی ادامش
تو دومی هم (عبارت شرطی) معادله با (نقیض مقدم 'یا' تالی)

بله داداش فقط چطوری ساده سازی میکنی
مشکلم همین در ساده سازیه

داداش میشه بگی این بخش هایی که با فلش مشخص کردم رو چطوری بدست اوردی
مرحله به مرحلشو میگی
[تصویر:  217499_13604689474153258472.jpg]

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - black_knight - 12 مهر ۱۳۹۲ ۰۲:۱۸ ق.ظ

از قانون دمورگان استفاده شده.

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - vahidir - 12 مهر ۱۳۹۲ ۰۹:۳۸ ب.ظ

(۱۲ مهر ۱۳۹۲ ۰۲:۱۸ ق.ظ)black_knight نوشته شده توسط:  از قانون دمورگان استفاده شده.

میشه بگین چرا دوتا علامت نقیض رو بالای (p ^ q) گذاشتین و از کجا فهمیدین باید از قانون دمورگان استفاده کنیم این قانون که به این شکل در میاد
[تصویر:  217714_95406567178804855400.jpg]

اگه میتونید بگین چطوری از اول حلش کنیم...

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - black_knight - 12 مهر ۱۳۹۲ ۰۹:۴۷ ب.ظ

(۱۲ مهر ۱۳۹۲ ۰۹:۳۸ ب.ظ)vahidir نوشته شده توسط:  
(12 مهر ۱۳۹۲ ۰۲:۱۸ ق.ظ)black_knight نوشته شده توسط:  از قانون دمورگان استفاده شده.

میشه بگین چرا دوتا علامت نقیض رو بالای (p ^ q) گذاشتین و از کجا فهمیدین باید از قانون دمورگان استفاده کنیم این قانون که به این شکل در میاد
[تصویر:  217714_95406567178804855400.jpg]

اگه میتونید بگین چطوری از اول حلش کنیم...
آخه دوتا نند تودرتو واسه همین
اول از داخلی ترین پرانتزا شروع کنید تعریف نندو اعمال کنید و به همین ترتیب تعریف رو روی بیرون ترین پرانتز نیز اعمال کنید.
معمولا این قانون برای ساده سازی عبارات منطقی استفاده میشه

RE: مشکل در منطق گزاره ها ( لطفا کمکم کنید) - vahidir - 13 مهر ۱۳۹۲ ۰۸:۵۹ ب.ظ

ممنون داداش
ولی انگار من نمیتونم یاد بگیرم Huh
کاش یکی از دوستان بیاد از ب بسم الله یاد بده
بازم تشکر میکنم ازت داداش