زمان کنونی: ۰۱ اردیبهشت ۱۴۰۳, ۰۱:۲۲ ب.ظ مهمان گرامی به انجمن مانشت خوش آمدید. برای استفاده از تمامی امکانات انجمن می‌توانید عضو شوید.
گزینه‌های شما (ورودثبت نام)

مثال نقض برای اثبات عدم هم ارزی دو گزاره نما

ارسال:
  

sahar salehi پرسیده:

مثال نقض برای اثبات عدم هم ارزی دو گزاره نما

سلام
به یه مثال نقض نیاز دارم که نشون بده چرا این دو گزاره نما هم ارز نیستند.


فایل‌(های) پیوست شده

۲
ارسال:
  

MiladCr7 پاسخ داده:

RE: مثال نقض برای اثبات عدم هم ارزی دو گزاره نما

فرض کن داریم:

[tex]P(x)=x>2[/tex]
[tex]q(x)=x<=2[/tex]

خب حالا توی سوال شما این مقدار برای عبارت سمت چپ برابر [tex]False[/tex] میشه چون معنیش اینه که یه [tex]x[/tex] ای وجود داره که هم از ۲ بزرگتره و هم کوچکتر مساویه ۲ که این نمیشه ولی برای عبارت سمت راست برابر [tex]True[/tex] چون میگه یه [tex]x[/tex] ای هست که از ۲ بزرگتره [tex]AND[/tex] ش با اینکه یه [tex]x[/tex] ای هست که مقدارش کوچتر مساویه ۲ باشه که هردوی این جمله ها درستن پس حاصل کلی [tex]True[/tex] میشه
دیدی جوابشون یکی نشدSmile

۰
ارسال:
  

m@hboobe پاسخ داده:

RE: مثال نقض برای اثبات عدم هم ارزی دو گزاره نما

مثال کتاب پوران برای همین گزاره این هست که p اعداد بزرگتر ۲ و q اعداد کوچکتر مساوی ۲ باشند در صورتی که در مورد اعداد صحیح مثبت و منفی بخوایم صحبت کنیم
به ازای بعضی مقادیر گزاره سمت چپی غلط است و گزاره سمت راستی درست میشود پس این عبارت هم ارز نیست

من این مطلب رو واسه خودم اینجور به خاطر سپردم که :
یعنی اینکه سور بعضی مقادیر وقتی بین دو تایع and باشه فقط خاصیت پخشی داره!Big Grin



موضوع‌های مرتبط با این موضوع...
موضوع: نویسنده پاسخ: بازدید: آخرین ارسال
  ترجمه نماز ترجمه نماز ۰ ۹۵۳ ۰۴ اردیبهشت ۱۴۰۱ ۰۹:۲۱ ب.ظ
آخرین ارسال: ترجمه نماز
  اثبات به کمک استنتاج Xzrix ۲ ۲,۷۸۰ ۲۶ آبان ۱۳۹۹ ۱۱:۴۶ ب.ظ
آخرین ارسال: ghaderZ
  اثبات بومی بودن sirvan.t ۸ ۵,۲۱۹ ۱۰ اسفند ۱۳۹۸ ۰۹:۴۶ ب.ظ
آخرین ارسال: WILL
  قبول نهایی شبانه و عدم ثبت نام siiib70 ۷ ۵,۷۴۴ ۰۹ شهریور ۱۳۹۸ ۰۹:۵۹ ب.ظ
آخرین ارسال: mashhad65
  ساختمان داده پوران، فصل اول، راهنمایی برای حل یک مثال ساده marvelous ۲ ۲,۶۳۹ ۲۲ مرداد ۱۳۹۸ ۰۳:۳۰ ب.ظ
آخرین ارسال: marvelous
  آیا عدم ثبت نام در دانشگاه های مجازی در صورت قبول شدن جریمه دارد؟ sheikhoo ۱ ۲,۶۸۳ ۲۰ تیر ۱۳۹۸ ۰۹:۳۹ ب.ظ
آخرین ارسال: Iranian Wizard
  مشکل عدم ایجاد پروژه/فایل جدید در نت بینز αɾια ۳ ۱۰,۹۰۲ ۲۰ اردیبهشت ۱۳۹۸ ۰۳:۳۴ ب.ظ
آخرین ارسال: Silver1992
  اجاره تجهیزات نمایشگاهی تهران rozhann ۰ ۱,۸۵۹ ۲۱ اسفند ۱۳۹۷ ۰۳:۳۱ ب.ظ
آخرین ارسال: rozhann
  نمایش سایت hosseini25 ۰ ۱,۹۷۹ ۱۸ اردیبهشت ۱۳۹۷ ۱۱:۱۷ ق.ظ
آخرین ارسال: hosseini25
  پذیرش در دکتری آزاد و عدم تمایل به ثبت نام mrezaparchebaf ۱ ۲,۳۲۵ ۰۲ اسفند ۱۳۹۶ ۰۱:۱۳ ب.ظ
آخرین ارسال: αɾια

پرش به انجمن:

Can I see some ID?

به خاطر سپاری رمز Cancel

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. رمزت رو فراموش کردی؟ اینجا به یادت میاریم! close

رمزت رو فراموش کردی؟

Feeling left out?


نگران نباش، فقط روی این لینک برای ثبت نام کلیک کن. close