تالار گفتمان مانشت
Predicate logic و متغیر آزاد - نسخه‌ی قابل چاپ

Predicate logic و متغیر آزاد - joyebright - 15 دى ۱۳۹۳ ۰۳:۲۵ ق.ظ

سلام
مفهوم متغیر آزاد در این تست دقیقاً چیه و چطور باید تست و حل کرد .

RE: Predicate logic و متغیر آزاد - shamim_70 - 15 دى ۱۳۹۳ ۰۱:۰۱ ب.ظ

راهیان اینجور گفته ک یعنی ارزش درستی Q به x وابسته نیسته!!برهمین اساس هم ارزی بودن دوتا عبارت تو گزینه ها رو چک میکنی!یعنی عبارت سمت چپی با سمت راستی باید هم ارز باشه!
بازم بخوام بیشتر بگم اینه [tex]\exists x,\forall x[/tex] تاثیری رو Qنداره!!چون Qمستقل از Xهست!!
حالا بااین توضیحات خودت حلش کن اگ باز مشکل داشتی بگو راحشو براتم بزارم!Wink