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

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

ارسال:
  

sahar salehi پرسیده:

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

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


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

۲
ارسال:
  

MiladCr7 پاسخ داده:

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

فرض کن داریم:

P(x)=x>2
q(x)=x<=2

خب حالا توی سوال شما این مقدار برای عبارت سمت چپ برابر False میشه چون معنیش اینه که یه x ای وجود داره که هم از ۲ بزرگتره و هم کوچکتر مساویه ۲ که این نمیشه ولی برای عبارت سمت راست برابر True چون میگه یه x ای هست که از ۲ بزرگتره AND ش با اینکه یه x ای هست که مقدارش کوچتر مساویه ۲ باشه که هردوی این جمله ها درستن پس حاصل کلی True میشه
دیدی جوابشون یکی نشد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