۲۷اسفند
به نام او
در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.
بخش دوم) عملگر دو شرطی
این عملگر در صورتی مقدار TRUE دارد که هم و هم
مقدار TRUE داشته باشند. این یعنی
هم ارزِ
است.
تعابیر مختلف:
P اگر و فقط اگر q