استنتاج

- به نام او -

 

همونطور که می دونید استنتاج به معنی نتیجه گرفتن ـه یا به عبارت دیگه" اگر از درستی یک [ تعداد ] گزاره بتونیم درستی گزاره ی دیگه ای رو دقیقا مشخص کنیم " به این کار میگن استنتاج.

 

برای فهم بهتر و دقیق تر به تعریف دقیق استدلال (عملی که منجر به یک استنتاج میشه !) توجه کنید:

استدلال         معتبر است اگر و فقط اگر

منطق - عملگر دوشرطی

 

 

به نام او

در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.

 

   

 

 

بخش دوم) عملگر دو شرطی   

 این عملگر در صورتی مقدار TRUE دارد که هم و هم مقدار TRUE داشته باشند. این یعنی هم ارزِ است.

تعابیر مختلف:

P اگر و فقط اگر q