منطق گزاره

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

سرفصل‌های این مبحث

منطق گزاره

ترکیب فصلی دو نقیض

آخرین ویرایش: 30 شهریور 1400

دسته‌بندی: منطق گزاره

امتیاز:

نظر کاربران: برای نظر دادن اولین باش!

تعریف ترکیب فصلی دو نقیض

رابط گزاره‌ای $(↓)$ را رابط ترکیب فصلی دو نقیض نامیده شده و $p ↓ q$ را (نه $p$ نه $q$ ) خوانده می‌شود.

ارزش ترکیب فصلی دو نقیض

$p ↓ q$ تنها در صورتی درست است که $p$ نا‌درست و $q$ نا‌درست باشد.

آن‌چه گفتیم در جدول زیر آورده شده است:

ترکیب فصلی دو نقیض - پیمان گردلو

نکته

سه رابط $~, \land, \lor$ را می‌توان به‌صورت زیر بر حسب رابط $(↓)$ بیان کرد.

$p \lor q = (p ↓ q) ↓ (p ↓ q)$

ترکیب فصلی دو نقیض - پیمان گردلو

$p \land q = (p ↓ p) ↓ (q ↓ q)$

ترکیب فصلی دو نقیض - پیمان گردلو

$p ↓ p \equiv ~ p$

ترکیب فصلی دو نقیض - پیمان گردلو

به‌همین ترتیب هم‌ارزی‌های زیر به‌دست می‌آید:

$\begin{array}{l} p ↓ F \equiv ~ p \\ p ↓ ~ p \equiv F \\ p ↓ ~ T \equiv ~ p \end{array}$

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

منطق گزاره

ترکیب فصلی دو نقیض

تعریف ترکیب فصلی دو نقیض

ارزش ترکیب فصلی دو نقیض

nenomatica

مجموعه قوانین

دسترسی سریع

آیا می‌خواهید فیلم معرفی را مشاهده نمایید؟