منطق - عملگر دوشرطی
سه شنبه, ۲۷ اسفند ۱۳۹۲، ۰۳:۲۹ ب.ظ
به نام او
در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.
بخش دوم) عملگر دو شرطی
این عملگر در صورتی مقدار TRUE دارد که هم و هم
مقدار TRUE داشته باشند. این یعنی
هم ارزِ
است.
تعابیر مختلف:
P اگر و فقط اگر q
این هم جدول حقیقتش :
| q | p | ||||
| T | T | T | T | T | T |
| F | F | T | F | F | T |
| F | F | F | T | T | F |
| T | T | T | T | F | F |
بقیه نکات با در نظر گرفتن شباهتش با عملگر یک شرطی به راحتی قابل برداشت هستند.
تایپ ریاضی با استفاده از http://latex.codecogs.com
احمد