Logo fa.boatexistence.com

کدام قانون p q را از p استنتاج می کند؟

فهرست مطالب:

کدام قانون p q را از p استنتاج می کند؟
کدام قانون p q را از p استنتاج می کند؟

تصویری: کدام قانون p q را از p استنتاج می کند؟

تصویری: کدام قانون p q را از p استنتاج می کند؟
تصویری: گزاره های شرطی: اگر p پس q 2024, ممکن است
Anonim

9.3 روش کسر برای مثال، قاعده Modus Ponens Modus Ponens در منطق گزاره‌ای، modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/؛ MP)، همچنین به عنوان modus ponendo ponens (لاتین) شناخته می‌شود. روش قرار دادن با قرار دادن ) یا حذف ضمنی یا تأیید مقدم، یک شکل استدلال قیاسی و قاعده استنتاج است https://en.wikipedia.org › wiki › Modus_ponens

Modus ponens - ویکی پدیا

به ما می گوید که اگر گزاره "P. Q" درست و گزاره "P" درست است، پس "Q" باید صادق باشد. این قاعده استنباط را می توان به صورت ادعای توتولوژیک دلالت مادی زیر بیان کرد: «((P. Q)•P). س."

این قاعده استنتاج p چیست و q به p دلالت دارد؟

لاتین برای "روش انکار". یک قاعده استنباط که از ترکیب مدوس پوننس و مخالف به دست می آید. اگر q نادرست است، و اگر p دلالت بر q (p q) داشته باشد، p نیز نادرست است. اشتباه در استدلال با توجه به عبارت p، اگر ~p به طور منطقی به یک تناقض منجر شود، آنگاه p باید درست باشد.

9 قانون استنتاج چیست؟

شرایط این مجموعه (9)

  • Modus Ponens (M. P.) -اگر P پس Q. -P. …
  • Modus Tollens (M. T.) -اگر P پس Q. …
  • قیاس فرضی (H. S.) -اگر P پس Q. …
  • قیاس متمایز (D. S.) -P یا Q. …
  • ربط (صفح) -P. …
  • معضل سازنده (C. D.) -(اگر P پس Q) و (اگر R پس S) …
  • ساده سازی (Simp.) -P و Q. …
  • جذب (Abs.) -اگر P پس Q.

چگونه PQ را می خوانید؟

استلزام p → q (بخوانید: p دلالت بر q دارد، یا اگر p پس q باشد) عبارتی است که ادعا می کند اگر p درست باشد، q نیز صادق است.ما موافقیم که p → q زمانی درست است که p نادرست است گزاره p فرضیه استلزام نامیده می شود و گزاره q نتیجه گیری استلزام نامیده می شود.

چرا P و Q در منطق استفاده می شود؟

گزاره ها اگر همیشه مقدار صدق یکسانی داشته باشند برابر یا از نظر منطقی معادل هستند. یعنی p و q از نظر منطقی معادل هستند اگر p درست باشد هر زمان که q درست باشد و بالعکس و اگر p نادرست باشد هر وقت q نادرست باشد و بالعکس. اگر p و q از نظر منطقی معادل باشند، p=q را می نویسیم.

توصیه شده: