سلام دوستان کسی میتونه این سوالو برام توضیح بده؟
سپاسگزارم

سلام

اگر بگویم فلش وسط دو عبارت رو استلزام فرض کنید متوجه می شوید؟؟
به شکل زیر :

[tex](\exists x\: (p(x)\: \longrightarrow\: Q))\: \vdash\: or\: \Longrightarrow(\forall x\: p(x)\: \longrightarrow\: Q)[/tex]

شما قسمت اول رو با قانون شرطی اگر و آنگاه که به شکل زیر است ساده کنید و سعی کنید به قست دوم که مستلزم آن است برسید.
[tex]p\: \longrightarrow\: q\: \equiv\neg p\: \vee\: q[/tex]

در این بین به جایگیری و نحوه ی تقدم عملگر ها و قوانین خروج سور ها از پرانتز دقت کنید.

اگر مفهوم واضح نبود بگید که کل راه حل رو بنویسم.هر چند به نظرم راه بالا کاملا کافیه و مشکلی که سوال دارد از علامت [tex]\longrightarrow[/tex] به جای [tex]\Longrightarrow\: or\: \vdash[/tex] استفاده کرده است.

یعنی جواب گزینه ی سومه؟ آخه تو کتاب راهیان ارشد گزینه ی دوم رو نوشته نادرست

حالا که خوب فکر کردم منظرتون رو متوجه شدم. همون گزینه دوم غلطه و شما مثال زدین که در هر گزینه باید یک هم ارزی رو اثبات کرد. کاملا متوجه شدم خیلی خیلی ممنونم.

(۲۹ آبان ۱۳۹۵ ۰۶:۲۶ ب.ظ)Hopegod نوشته شده توسط:   حالا که خوب فکر کردم منظرتون رو متوجه شدم. همون گزینه دوم غلطه و شما مثال زدین که در هر گزینه باید یک هم ارزی رو اثبات کرد. کاملا متوجه شدم خیلی خیلی ممنونم.

بله دقیقا همین رو خواستم که خودتون برید همه ی گزینه ها رو بررسی کنید.
خواهش میکنم موفق باشید.
چیزی شبیه هم ارزی هستش چه بسا وابستگی x به Q یا عدم وابستگیش رو هم بتونیم نکته انحرافی فرض کنیم

بازم ممنونم.

راهیان زده گزینه ۲ ، در حالی که پارسه زده گزینه ۱ .
سوال بد فرمی هست و هرکس یه جور تفسیر کرده!