Predicate logic و متغیر آزاد - نسخهی قابل چاپ |
Predicate logic و متغیر آزاد - joyebright - 15 دى ۱۳۹۳ ۰۳:۲۵ ق.ظ
سلام مفهوم متغیر آزاد در این تست دقیقاً چیه و چطور باید تست و حل کرد . |
RE: Predicate logic و متغیر آزاد - shamim_70 - 15 دى ۱۳۹۳ ۰۱:۰۱ ب.ظ
راهیان اینجور گفته ک یعنی ارزش درستی Q به x وابسته نیسته!!برهمین اساس هم ارزی بودن دوتا عبارت تو گزینه ها رو چک میکنی!یعنی عبارت سمت چپی با سمت راستی باید هم ارز باشه! بازم بخوام بیشتر بگم اینه [tex]\exists x,\forall x[/tex] تاثیری رو Qنداره!!چون Qمستقل از Xهست!! حالا بااین توضیحات خودت حلش کن اگ باز مشکل داشتی بگو راحشو براتم بزارم! |