📌 معرفی چند رابطه‌ی منطقی

۱. رابطه‌ی متقارن: اگر aRb آنگاه bRa
مثال. رابطه‌ی دوستی اگر الف دوست ب است آنگاه ب دوست الف است

۲. رابطه‌ی نامتقارن: اگر aRb آنگاه چنین نیست که bRa
مثال. رابطه‌ی پدری. اگر الف پدرِ ب است آنگاه چنین نیست که ب پدرِ الف باشد.

۳. رابطه‌ی پادمتقارن: اگر aRb و bRa آنگاه a=b
مثال. رابطه‌ی کوچک‌تر یا مساوی. اگر الف کوچکتر یا مساوی ب و ب کوچکتر یا مساوی الف آنگاه الف مساوی ب

۴. رابطه‌ی انعکاسی. اگر aRa آنگاه aRa
مثال. رابطه‌ی برابری. هر عدد الف با الف برابر است.

۵. رابطه‌ی ضدانعکاسی. چنین نیست که aRa
مثال. رابطه‌ی کوچکتری عدد از خودش. اگر هیچ عددی از خودش کوچک‌تر نیست، آنگاه چنین نیست که الف از الف کوچکتر باشد.

۶. رابطه‌ی تعدی: اگر aRb و bRc آنگاه aRc.
مثال. رابطه‌ی بزرگ‌تری. اگر الف از ب بزرگ‌تر و ب از ج بزرگ‌تر باشد آنگاه الف از ج بزرگ‌تر است.

۷. رابطه‌ی نامتعدی: اگر aRb و bRc آنگاه لزوماً چنین نیست که aRc
مثال. رابطه‌ی دوستی. اگر الف با ب دوست است و ب با ج دوست است آنگاه چنین نیست که الف با ج دوست باشد.



💠 اَزدانامه | محمدمهدی حاتمی
@azdanameh