گزاره‌ های با سور عمومی

آخرین ویرایش: 09 اسفند 1402
دسته‌بندی: گزاره سوری
امتیاز:

به‌عبارت زیر توجه کنید:

همگان فانی هستند. 

همان‌طورکه ملاحظه می‌کنید جمله فوق خاصیت فانی بودن را در مورد تمامی انسان‌ها بیان می‌کند، از این نوع جملات که گزاره‌هایی کلی هستند در ریاضی بسیار وجود دارد. 

به‌عنوان نمونه:

  • در احتمال، هر مجموعه پیشامد، زیر مجموعه فضای نمونه است.
  • هر مستطیل، متوازی‌الاضلاع است.
  • هر عدد طبیعی، مثبت است.
  • هر عدد اول، فرد است.

مشخصه اصلی این نوع گزاره‌ها آن است که خاصیتی را در مورد تمام عناصر یک مجموعه بیان می‌کنند و از این رو است که آنها را گزاره‌های کلی می‌نامند. 

در ریاضی نیز نماد به‌خصوصی برای نشان دادن این نوع گزاره‌ها به‌کار می‌برند که وارون حرف اول کلمه ALL یعنی  است.

تذکر

سورها علامت‌هایی هستند که در جلوی گزاره‌نما ها قرار می‌گیرند و متغیرهای گزاره‌نما را به یک مجموعه معین محدود می‌کنند و بدین ترتیب گزاره‌نما را به گزاره تبدیل می‌کنند.

سور عمومی، سور وجودی، سور صفر و سور انحصاری از اقسام سورها هستند.

سور وجودی را با  نشان می‌دهند که وارون حرف اول کلمه EXIST به‌معنی وجود داشتن است.

سور صفر را با نماد  نشان می‌دهند.

تعریف گزاره با سور عمومی

گزاره‌ای که بیان‌گر خاصیتی در مورد تمامی عناصر مجموعه‌ای باشد، یک گزاره با سور عمومی گویند.

فرض کنید px گزاره‌نمایی باشد که خاصیتی را در مورد عناصر مجموعه M بیان می‌کند، در این‌صورت گزاره‌ای که این خاصیت را به همه عناصر M نسبت دهد، به‌صورت زیر نشان داده می‌شود:

xpx    x;px

M را مجموعه مرجع یا دامنه متغیر گزاره زیر می‌گوییم:

x    ;    px

نکته

به‌طور کلی فرض می‌کنیم A زیر مجموعه‌ای از مجموعه مرجع M باشد، گزاره xA    ;    px را به‌صورت زیر تعریف می‌کنیم:

xA     ;    px      x    ;    xApx

تمرین

برای هر یک از گزاره‌نماهای زیر سور مناسب به‌کار ببرید.

x+12=x2+2x+1

xR    ;    x+12=x2+2x+1

x+yx+y

xR  ,yR   ;   x+yx+y

xy=xy

xR  ,yR0    ;   xy=xy

دریافت مثال

ارزش درستی گزاره‌های با سور عمومی

فرض کنید M مجموعه مرجع و S مجموع جواب گزاره‌نمای px باشد، در این صورت:

گزاره x    ;    px درست است هرگاه مجموعه جواب px برابر مجموع مرجع یعنی S=M باشد.

به‌عبارت دیگر گزاره x    ;    px درست است هرگاه برای هر a از مجموع مرجع که به‌جای x قرار دهیم، pa درست باشد.

تمرین

به جدول زیر توجه کنید:

تمرین

ارزش گزاره‌های زیر را بیان کنید.

xR    ;    x2x

گزاره نادرست است، زیرا x=12 برای آن مثال نقض محسوب می‌شود.

xz     ;    xx+1=2k  ,  kz

چون حاصل‌ضرب هر دو عدد متوالی صحیح، عددی زوج است بنابراین برای هر عضو از دامنه متغیر z گزاره‌نما به گزاره‌ای درست تبدیل می‌شود، پس این عبارت درست است.

xR    ;    tanx×cotx=1

گزاره نادرست است، زیرا x=π2 برای آن مثال نقض محسوب می‌شود.

دریافت مثال

نکته

اثبات درستی گزاره‌های به‌صورت x    ;    px

برای اثبات درستی x    ;    px باید نشان دهیم مجموعه جواب px یعنی S برابر مجموعه مرجع یعنی M به‌صورت S=M می‌باشد. 

برای این‌کار معمولا یک عضو دل‌خواه از مرجع مانند a در نظر می‌گیریم، سپس ثابت می‌کنیم pa درست است.

چون a دل‌خواه است پس همه عناصر مجموعه مرجع را می‌تواند اختیار کند، لذا برای هر a از مرجع pa درست می‌شود، یعنی x    ;    px درست است.    

دریافت مثال

نقیض گزارهx;px 

گزاره زیر را در نظر بگیرید و نقیض آن را می‌نویسیم:

علی به مدرسه رفت.

معمولا برای نقیض کردن یک گزاره، فعل آن را منفی می‌کنند:

علی به مدرسه نرفت.  

اکنون گزاره زیر را در نظر می‌گیریم و نقیض آن را می‌نویسیم:

هر آسیایی، ایرانی است.

در زبان طبیعی معمولا این اشتباه رخ می‌دهد که برای نوشتن نقیض این گزاره، فقط فعل آن را منفی می‌کنند و می‌نویسند:

هر آسیایی ایرانی نیست.

همان‌طور که ملاحظه می‌کنید، ارزش دو گزاره قبل (هر آسیایی ایرانی است) و (هر آسیایی، ایرانی نیست) نادرست است و این غیر ممکن است که یک گزاره و نقیض آن ارزش یکسان داشته باشند.

بنابراین، جمله دوم نمی‌تواند نقیض جمله اول باشد.

برای رفع این مشکل، فرض کنیم A مجموعه مردمان آسیا و ایرانی بودن x را با px نمایش دهیم.

بنابراین گزاره (هر آسیایی، ایرانی است) به‌صورت زیر بیان می‌شود:

xA:Px

چون ارزش این گزاره نادرست است، پس ارزش گزاره نقیض آن یعنی گزاره زیر باید درست باشد:

~xA:Px

از آنجا که ارزش گزاره xA:Px نادرست است، پس وجود دارد xA به‌طوری‌که px نادرست است.

 بنابراین ارزش ~px درست است در نتیجه ارزش گزاره xA;~Px درست است و ارزش این گزاره با ارزش گزاره ~xA:Pxیکسان است، بنابراین داریم:

~x:Px=x  :  ~Px

در این‌صورت نقیض گزاره (هر آسیایی، ایرانی است) به‌صورت زیر است:

بعضی از آسیایی‌ها، ایرانی نیستند.

قضیه

نقیض گزاره xA:Pxبه‌صورت زیر تعریف می‌شود: 

~x;pxx;~px

اثبات

روش اول-

فرض کنید ~x;px نادرست باشد پس گزاره x    ;    px درست است، یعنی S=M و S مجموعه جواب px است.  

بنابراین S'= اما S' مجموعه جواب ~px است پس گزاره x    ;    px نادرست است زیرا مجموعه جواب ~px تهی است.

حال فرض کنید ~x;px درست باشد بنابراین گزاره SM و S مجموعه جواب px است.   

پس S' بنابراین S' مجموعه جواب ~px ناتهی است لذا گزاره x     ;    ~px درست است و حکم صادق است. 


روش دوم-

~x    ;    px~xA    ;    px~x    ;    xApx

x    ;    ~xApx    ;    ~pqp~q

x    ;    xA~pxxA     ;    ~px

دریافت مثال

نکته

گزاره‌های از نوع x,y;px,y

عبارت زیر را در نظر می‌گیریم:

x  ;  x>y

در این عبارت دو متغیر x و y وجود دارند که در آن متغیر x را مقید (پابند) به سور و متغیر y را آزاد می‌نامند.

به‌طورکلی متغیری را در یک گزاره‌نما آزاد گویند هرگاه در مورد آن سوری بیان نشده باشد و مقید گویند هرگاه وابسته به یک سور باشد.

دقت کنید در یک گزاره متغیر آزاد نداریم، پس اگر گزاره‌نمای ما دو متغیره یعنی به‌صورت px,y باشد در این‌صورت باید هم x و هم y مقید به سور باشند. 

به‌عنوان نمونه:

x    ;    x+y>1 گزاره نیست زیرا متغیر y وابسته به سور نیست. 

x,y    ;    x+y>1 گزاره است.

ارزش درستی گزاره‌های سوری x  ,  y    ;    px,y به‌صورت زیر بررسی می‌شود:

فرض کنید گزاره‌نمای px,y روی A تعریف شده باشد و بنابراین مجموع مرجع px,y مجموعه A×A=M است. 

گزاره x  ,  y    ;    px,y درست است هرگاه مجموعه جواب px,y برابر M باشد، یعنی برای هر a و b از A یا از هر زوج a,b از A×A، pa,b درست باشد.      

دریافت مثال

خرید پاسخ‌ها

گزاره‌های با سور عمومی

4,500تومان
خرید فایل PDF مثال ها و جواب ها

برای ارسال نظر وارد سایت شوید