چرا این استنتاج معتبر نیست؟
[tex]\left \{ \exists xp\left ( x \right ) , \exists x\exists y\left ( p\left ( x \right )\rightarrow q\left ( y \right ) \right ) \vdash \exists yq\left ( y \right )\right \}[/tex]
(۱۵ مهر ۱۳۹۲ ۱۰:۱۱ ق.ظ)zeinab نوشته شده توسط: چرا این استنتاج معتبر نیست؟اگه همینطوری استنتاج کنید و به نتیجه کاری نداشته باشید ،آخرش میشه نتیجه استنتاج را نوشت:
[tex]\left \{ \exists xp\left ( x \right ) , \exists x\exists y\left ( p\left ( x \right )\rightarrow q\left ( y \right ) \right ) \vdash \exists yq\left ( y \right )\right \}[/tex]
[tex]\exists yq(y)\vee \exists x\sim p(x))[/tex]
تو نتیجه استنتاج نصفش را حذف کرده.
میشه هم یه مثال بزنید و ثابت کنید که غلطه. کافیه نتیجه را غلط بگیرید ولی یه کاری کنید که فرضیات استنتاج درست باشه. متوجه میشید که میشه همچین کاری کرد.
(۱۵ مهر ۱۳۹۲ ۰۱:۳۸ ب.ظ)Fardad-A نوشته شده توسط:تشکر از جواب شما هیچیش رو متوجه نشدم(15 مهر ۱۳۹۲ ۱۰:۱۱ ق.ظ)zeinab نوشته شده توسط: چرا این استنتاج معتبر نیست؟اگه همینطوری استنتاج کنید و به نتیجه کاری نداشته باشید ،آخرش میشه نتیجه استنتاج را نوشت:
[tex]\left \{ \exists xp\left ( x \right ) , \exists x\exists y\left ( p\left ( x \right )\rightarrow q\left ( y \right ) \right ) \vdash \exists yq\left ( y \right )\right \}[/tex]
[tex]\exists yq(y)\vee \exists x\sim p(x))[/tex]
تو نتیجه استنتاج نصفش را حذف کرده.
میشه هم یه مثال بزنید و ثابت کنید که غلطه. کافیه نتیجه را غلط بگیرید ولی یه کاری کنید که فرضیات استنتاج درست باشه. متوجه میشید که میشه همچین کاری کرد.
اما فهمیدمش!!!
سلام. درنظر بگیرید [tex]P(a)=False,P(b)=True[/tex]. در این صورت فرض مسئله درسته. ولی دلیل نمیشه که Q درست باشه.
(۱۵ مهر ۱۳۹۲ ۰۹:۳۵ ب.ظ)Jooybari نوشته شده توسط: سلام. درنظر بگیرید [tex]P(a)=False,P(b)=True[/tex]. در این صورت فرض مسئله درسته. ولی دلیل نمیشه که Q درست باشه.
تشکر . منم همینجوری استنتاج کردم و به جواب رسیدم