(۱۵ مهر ۱۳۹۲ ۰۱:۳۸ ب.ظ)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]
تو نتیجه استنتاج نصفش را حذف کرده.
میشه هم یه مثال بزنید و ثابت کنید که غلطه. کافیه نتیجه را غلط بگیرید ولی یه کاری کنید که فرضیات استنتاج درست باشه. متوجه میشید که میشه همچین کاری کرد.

(۱۵ مهر ۱۳۹۲ ۰۹:۳۵ ب.ظ)Jooybari نوشته شده توسط:  سلام. درنظر بگیرید [tex]P(a)=False,P(b)=True[/tex]. در این صورت فرض مسئله درسته. ولی دلیل نمیشه که Q درست باشه.