فرض کنید در بررسی مفهوم علیت نماد p∣⇒q به معنای ان است که p تنها علت q است.
همچنین V تابع ارزش گذاری بوده و هر جمله ارزش 0 یا 1 را نسبت می دهد .
در این صورت (v((p∧q)|⇒q) کدام است؟
1 ) 0
2 ) ((v(q)(1-V(p
3 ) 1((v(q)(1-v(p−
4 ) ...
من این تستو هر طور حساب میکنم نمیتونم به جواب برسم
توضیح کتاب رو هم خوب متوجه نمیشم
با جا گذاری تو گزینه ها هم نتونستم به جواب برسم
دوستان لطف میکنن
تو حل سوال کمک کنن
ممنون میشم
سلام. نتونستم نقیض رو پیدا کنم. به جاش از * استفاده کردم.
گاهی توی سوالات یه عملگری رو معرفی می کنند و بهش یه تعریف خاصی میدن که روی عملوند ها یه کاری انجام میده. توی این جا ما [tex]\mid\Rightarrow[/tex] رو داریم.
گفته مفهوم علیت [tex]p\mid\Rightarrow q[/tex] به معنای این هست که p تنها علت q است. این یعنی چی؟ یعنی "p اگر q" و در واقع این عبارت برابر میشه با [tex]q\rightarrow p[/tex]
خب حالا صورت سوال رو به شکل زیر تغییر میدیم:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))[/tex]
که این معادل هست با:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))=v(*p\vee(p\wedge q))\equiv v((*p\vee p)\wedge(*p\vee q))=v(T\wedge(*p\vee q))=v(*p\vee q)[/tex]
خب حالا [tex]v(*p\vee q)[/tex] معادل با چی میشه؟
می دونیم که [tex]v(A\vee B)=V(A)+V(B)-V(A)V(B)[/tex]
و همین طور [tex]V(*q)=(1-v(q))[/tex]
پس: [tex]v(*p\vee p)=V(*q)+V(p)-V(*q)V(p)[/tex]
[tex]v(*q\vee p)=V(*q)+V(p)-V(*q)V(p)=(1-v(q))+v(p)(1-v(*q))=1-v(q)+v(p).v(q)=1-v(q)(1-v(p))[/tex]
اگر بخوایم ارزش گذاری کنیم و جواب بدیم:
به دست آوردیم که [tex]v((p\wedge q)|\Rightarrow\: q)\equiv v(*p\vee p)[/tex]
مقداردهی می کنیم. گزینه ی ۱ که معلومه غلطه. چون عبارت [tex]v(*q\vee p)[/tex] به ازای مقادیری میتونه درست باشه و لزوماٌ صفر نیست.
گزینه ی ۲ مثال نقضش می تونه این باشه : p=1 و q=0 حالا گزینه ی ۲ ارزشش برابر با ۰ هست با این مقداردهی ولی صورت سوال با این مقداردهی ۱ هست.
گزینه ی ۴ هم به ازای p=۱ و q=۰ غلط هست چون ارزش گزینه برابر با ۰ میشه و ارزش صورت سوال برابر با ۱.
پس گزینه ی ۳ درست هست.
(10 شهریور 1395 08:31 ب.ظ)Pure Liveliness نوشته شده توسط: [ -> ]سلام. نتونستم نقیض رو پیدا کنم. به جاش از * استفاده کردم.
گاهی توی سوالات یه عملگری رو معرفی می کنند و بهش یه تعریف خاصی میدن که روی عملوند ها یه کاری انجام میده. توی این جا ما [tex]\mid\Rightarrow[/tex] رو داریم.
گفته مفهوم علیت [tex]p\mid\Rightarrow q[/tex] به معنای این هست که p تنها علت q است. این یعنی چی؟ یعنی "p اگر q" و در واقع این عبارت برابر میشه با [tex]q\rightarrow p[/tex]
خب حالا صورت سوال رو به شکل زیر تغییر میدیم:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))[/tex]
که این معادل هست با:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))=v(*p\vee(p\wedge q))\equiv v((*p\vee p)\wedge(*p\vee q))=v(T\wedge(*p\vee q))=v(*p\vee q)[/tex]
خب حالا [tex]v(*p\vee q)[/tex] معادل با چی میشه؟
می دونیم که [tex]v(A\vee B)=V(A)+V(B)-V(A)V(B)[/tex]
و همین طور [tex]V(*q)=(1-v(q))[/tex]
پس: [tex]v(*p\vee p)=V(*q)+V(p)-V(*q)V(p)[/tex]
[tex]v(*q\vee p)=V(*q)+V(p)-V(*q)V(p)=(1-v(q))+v(p)(1-v(*q))=1-v(q)+v(p).v(q)=1-v(q)(1-v(p))[/tex]
اگر بخوایم ارزش گذاری کنیم و جواب بدیم:
به دست آوردیم که [tex]v((p\wedge q)|\Rightarrow\: q)\equiv v(*p\vee p)[/tex]
مقداردهی می کنیم. گزینه ی ۱ که معلومه غلطه. چون عبارت [tex]v(*q\vee p)[/tex] به ازای مقادیری میتونه درست باشه و لزوماٌ صفر نیست.
گزینه ی ۲ مثال نقضش می تونه این باشه : p=1 و q=0 حالا گزینه ی ۲ ارزشش برابر با ۰ هست با این مقداردهی ولی صورت سوال با این مقداردهی ۱ هست.
گزینه ی ۴ هم به ازای p=۱ و q=۰ غلط هست چون ارزش گزینه برابر با ۰ میشه و ارزش صورت سوال برابر با ۱.
پس گزینه ی ۳ درست هست.
مرسی از جوابتون
فقط من بازم یکم مشکل دارم
uploadax.byethost3.com/images/28339558976269592427.jpg
و لطف میکنید گزینه ۳ رو با مقادیر q , p =1 جا گذاری کنید
من فقط ازش صفر میگیرم
(10 شهریور 1395 09:25 ب.ظ)pure.yaser نوشته شده توسط: [ -> ]مرسی از جوابتون
فقط من بازم یکم مشکل دارم
uploadax.byethost3.com/images/28339558976269592427.jpg
و لطف میکنید گزینه ۳ رو با مقادیر q , p =1 جا گذاری کنید
من فقط ازش صفر میگیرم
سلام. وقتتون بخیر.
اون قسمتی که خط کشیدید مشکل داره. عبارت [tex]v(p)-v(*q)\vee (p)[/tex] رو درنظر بگیرید. حالا از [tex]v(p)[/tex] فاکتور بگیرید. به عبارت سمت راست میرسید. اون نتیجه گیری سطر آخرتون مشکل داره.
(10 شهریور 1395 08:31 ب.ظ)Pure Liveliness نوشته شده توسط: [ -> ]سلام. نتونستم نقیض رو پیدا کنم. به جاش از * استفاده کردم.
گاهی توی سوالات یه عملگری رو معرفی می کنند و بهش یه تعریف خاصی میدن که روی عملوند ها یه کاری انجام میده. توی این جا ما [tex]\mid\Rightarrow[/tex] رو داریم.
گفته مفهوم علیت [tex]p\mid\Rightarrow q[/tex] به معنای این هست که p تنها علت q است. این یعنی چی؟ یعنی "p اگر q" و در واقع این عبارت برابر میشه با [tex]q\rightarrow p[/tex]
خب حالا صورت سوال رو به شکل زیر تغییر میدیم:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))[/tex]
که این معادل هست با:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))=v(*p\vee(p\wedge q))\equiv v((*p\vee p)\wedge(*p\vee q))=v(T\wedge(*p\vee q))=v(*p\vee q)[/tex]
خب حالا [tex]v(*p\vee q)[/tex] معادل با چی میشه؟
می دونیم که [tex]v(A\vee B)=V(A)+V(B)-V(A)V(B)[/tex]
و همین طور [tex]V(*q)=(1-v(q))[/tex]
پس: [tex]v(*p\vee p)=V(*q)+V(p)-V(*q)V(p)[/tex]
[tex]v(*q\vee p)=V(*q)+V(p)-V(*q)V(p)=(1-v(q))+v(p)(1-v(*q))=1-v(q)+v(p).v(q)=1-v(q)(1-v(p))[/tex]
اگر بخوایم ارزش گذاری کنیم و جواب بدیم:
به دست آوردیم که [tex]v((p\wedge q)|\Rightarrow\: q)\equiv v(*p\vee p)[/tex]
مقداردهی می کنیم. گزینه ی ۱ که معلومه غلطه. چون عبارت [tex]v(*q\vee p)[/tex] به ازای مقادیری میتونه درست باشه و لزوماٌ صفر نیست.
گزینه ی ۲ مثال نقضش می تونه این باشه : p=1 و q=0 حالا گزینه ی ۲ ارزشش برابر با ۰ هست با این مقداردهی ولی صورت سوال با این مقداردهی ۱ هست.
گزینه ی ۴ هم به ازای p=۱ و q=۰ غلط هست چون ارزش گزینه برابر با ۰ میشه و ارزش صورت سوال برابر با ۱.
پس گزینه ی ۳ درست هست.
سلام. وقتتون بخیر. با تشکر از پاسختون.
نیاز نیست سوال رو با رد گزینه حل کنید. عبارت [tex]*p\vee q[/tex] زمانی درسته که p درست باشه یا q نادرست باشه. پس ارزش عبارت زمانی درسته که یکی از دو حالت فوق برقرار باشه. به عبارت دیگه زمانی نادرسته که هر دو عبارت نادرست باشه.
ارزش ترکیب عطفی رو میشه با ضرب حالتهای درست بودن دو عبارت همارز دونست.
ارزش ترکیب فصلی رو میشه با 1 منهای ضرب حالتهای غلط بودن دو عبارت همارز دونست.
(10 شهریور 1395 10:22 ب.ظ)Jooybari نوشته شده توسط: [ -> ] (10 شهریور 1395 09:25 ب.ظ)pure.yaser نوشته شده توسط: [ -> ]مرسی از جوابتون
فقط من بازم یکم مشکل دارم
uploadax.byethost3.com/images/28339558976269592427.jpg
و لطف میکنید گزینه ۳ رو با مقادیر q , p =1 جا گذاری کنید
من فقط ازش صفر میگیرم
سلام. وقتتون بخیر.
اون قسمتی که خط کشیدید مشکل داره. عبارت [tex]v(p)-v(*q)\vee (p)[/tex] رو درنظر بگیرید. حالا از [tex]v(p)[/tex] فاکتور بگیرید. به عبارت سمت راست میرسید. اون نتیجه گیری سطر آخرتون مشکل داره.
(10 شهریور 1395 08:31 ب.ظ)Pure Liveliness نوشته شده توسط: [ -> ]سلام. نتونستم نقیض رو پیدا کنم. به جاش از * استفاده کردم.
گاهی توی سوالات یه عملگری رو معرفی می کنند و بهش یه تعریف خاصی میدن که روی عملوند ها یه کاری انجام میده. توی این جا ما [tex]\mid\Rightarrow[/tex] رو داریم.
گفته مفهوم علیت [tex]p\mid\Rightarrow q[/tex] به معنای این هست که p تنها علت q است. این یعنی چی؟ یعنی "p اگر q" و در واقع این عبارت برابر میشه با [tex]q\rightarrow p[/tex]
خب حالا صورت سوال رو به شکل زیر تغییر میدیم:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))[/tex]
که این معادل هست با:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))=v(*p\vee(p\wedge q))\equiv v((*p\vee p)\wedge(*p\vee q))=v(T\wedge(*p\vee q))=v(*p\vee q)[/tex]
خب حالا [tex]v(*p\vee q)[/tex] معادل با چی میشه؟
می دونیم که [tex]v(A\vee B)=V(A)+V(B)-V(A)V(B)[/tex]
و همین طور [tex]V(*q)=(1-v(q))[/tex]
پس: [tex]v(*p\vee p)=V(*q)+V(p)-V(*q)V(p)[/tex]
[tex]v(*q\vee p)=V(*q)+V(p)-V(*q)V(p)=(1-v(q))+v(p)(1-v(*q))=1-v(q)+v(p).v(q)=1-v(q)(1-v(p))[/tex]
اگر بخوایم ارزش گذاری کنیم و جواب بدیم:
به دست آوردیم که [tex]v((p\wedge q)|\Rightarrow\: q)\equiv v(*p\vee p)[/tex]
مقداردهی می کنیم. گزینه ی ۱ که معلومه غلطه. چون عبارت [tex]v(*q\vee p)[/tex] به ازای مقادیری میتونه درست باشه و لزوماٌ صفر نیست.
گزینه ی ۲ مثال نقضش می تونه این باشه : p=1 و q=0 حالا گزینه ی ۲ ارزشش برابر با ۰ هست با این مقداردهی ولی صورت سوال با این مقداردهی ۱ هست.
گزینه ی ۴ هم به ازای p=۱ و q=۰ غلط هست چون ارزش گزینه برابر با ۰ میشه و ارزش صورت سوال برابر با ۱.
پس گزینه ی ۳ درست هست.
سلام. وقتتون بخیر. با تشکر از پاسختون.
نیاز نیست سوال رو با رد گزینه حل کنید. عبارت [tex]*p\vee q[/tex] زمانی درسته که p درست باشه یا q نادرست باشه. پس ارزش عبارت زمانی درسته که یکی از دو حالت فوق برقرار باشه. به عبارت دیگه زمانی نادرسته که هر دو عبارت نادرست باشه.
ارزش ترکیب عطفی رو میشه با ضرب حالتهای درست بودن دو عبارت همارز دونست.
ارزش ترکیب فصلی رو میشه با ۱ منهای ضرب حالتهای غلط بودن دو عبارت همارز دونست.
واقعن ممنونننننننننننننننن
همه چی حل شد
این تست یه جوریه اگر p تنها علت q باشه، پس باید [tex]0\: \longrightarrow\: 1[/tex] ارزشش False بشه چون p تنها علته، وقتی که p=0 باشه و تنها علت q هم باشه، q هم باید 0 بشه تا ارزش گزاره true بشه ولی وقتی با [tex]0\: \longrightarrow\: 1[/tex] باز هم ارزشش true شده یعنی p تنها علت نبوده، بلکه p یکی از علت ها بوده. وقتی میگیم [tex]0\: \longrightarrow\: 1[/tex]برابر true یعنی پذیرفتیم که علت دیگه ای جز p هست که اون 1 بوده و در حالی که p=0 بوده، ولی قبول کردیم جمله true باشه، یعنی علت دیگه ای جز p=0 وجو دارد که یک بوده و q رو یک کرده، و ما این رو پذیرفتیم. (پذیرفتیم یعنی جمله رو ارزش true بهش دادیم)
دلیلش هم اینه که وقتی p=1 باشه، q به هیچ عنوان نمیتونه صفر بشه ([tex]1\: \longrightarrow\: 0[/tex] رو نمیپذیریم (نمیپذیریم یعنی ارزش رو false به جمله میدیم) )، چرا چون p که یکی از علت هاست که 1 شده (بقیه علت ها رو کاری نداریم) پس q اصلا نمیتونه 0 باشه و باید 1 باشه.
با توجه به اون نمادی که سوال مطرح کرده به نظرم رابطه ترکیب دوشرطی درسته براش:[tex]p\: \longleftrightarrow\: q[/tex] جدول درستی:[/align]
p q F
1 0 0
0 1 0
0 0 1
1 1 1
(10 شهریور 1395 08:31 ب.ظ)Pure Liveliness نوشته شده توسط: [ -> ]سلام. نتونستم نقیض رو پیدا کنم. به جاش از * استفاده کردم.
گاهی توی سوالات یه عملگری رو معرفی می کنند و بهش یه تعریف خاصی میدن که روی عملوند ها یه کاری انجام میده. توی این جا ما [tex]\mid\Rightarrow[/tex] رو داریم.
گفته مفهوم علیت [tex]p\mid\Rightarrow q[/tex] به معنای این هست که p تنها علت q است. این یعنی چی؟ یعنی "p اگر q" و در واقع این عبارت برابر میشه با [tex]q\rightarrow p[/tex]
خب حالا صورت سوال رو به شکل زیر تغییر میدیم:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))[/tex]
که این معادل هست با:
[tex]v((p\wedge q)|\Rightarrow q)\equiv v(q\longrightarrow(p\wedge q))=v(*p\vee(p\wedge q))\equiv v((*p\vee p)\wedge(*p\vee q))=v(T\wedge(*p\vee q))=v(*p\vee q)[/tex]
خب حالا [tex]v(*p\vee q)[/tex] معادل با چی میشه؟
می دونیم که [tex]v(A\vee B)=V(A)+V(B)-V(A)V(B)[/tex]
و همین طور [tex]V(*q)=(1-v(q))[/tex]
پس: [tex]v(*p\vee p)=V(*q)+V(p)-V(*q)V(p)[/tex]
[tex]v(*q\vee p)=V(*q)+V(p)-V(*q)V(p)=(1-v(q))+v(p)(1-v(*q))=1-v(q)+v(p).v(q)=1-v(q)(1-v(p))[/tex]
اگر بخوایم ارزش گذاری کنیم و جواب بدیم:
به دست آوردیم که [tex]v((p\wedge q)|\Rightarrow\: q)\equiv v(*p\vee p)[/tex]
مقداردهی می کنیم. گزینه ی ۱ که معلومه غلطه. چون عبارت [tex]v(*q\vee p)[/tex] به ازای مقادیری میتونه درست باشه و لزوماٌ صفر نیست.
گزینه ی ۲ مثال نقضش می تونه این باشه : p=1 و q=0 حالا گزینه ی ۲ ارزشش برابر با ۰ هست با این مقداردهی ولی صورت سوال با این مقداردهی ۱ هست.
گزینه ی ۴ هم به ازای p=۱ و q=۰ غلط هست چون ارزش گزینه برابر با ۰ میشه و ارزش صورت سوال برابر با ۱.
پس گزینه ی ۳ درست هست.
سلام
ببخشید من نمی فهمم که چرا p تنها علت q یعنی "q آنگاه p" چون به نظرم "p آنگاه q" بیشتر بهش میخوره. میشه یکم اینو بیشتر باز کنید؟
ممنون میشم