عملگر شرطی

چیزی که امروز یاد گرفتم درباره عملگر منطقی به نام ترکیب شرطی بود.

تا به حال با عملگر هایی مثل  AND ، OR ، XOR و NOT آشنا شده بودم. اما درباره عمگر ترکیب شرطی چیزی نشنیده بودم.

فرض کنید من به شما میگویم استاد نمی آید. عملا وقتی استاد نیاید کلاس تشکیل نمی شود.  جمله نیامدن استاد را P و تشکیل نشدن کلاس را q در نظر میگیریم.  در این صورت p را مقدم یا فرض و q را تالی یا حکم  میگویند. و به این شکل نمایش می دهند.

 دریافت . و میتوان آن را به شکل های مختلف خواند:

1-      اگر p آنگاه q (اگر استاد نیاید کلاس تشکیل نمی شود)

2-      q اگر p (کلاس تشکیل نمی شود اگر استاد نیاید)

3-      P شرط کافی برای q  (نیامدن استاد شرط کافی تشکیل نشدن کلاس)

4-      q شرط لازم برای p (تشکیل نشدن کلاس شرط لازم نیامدن استاد یا برای این که کلاس تشکیل نشود لازم است استاد نیاید)

5-      یک شرط کافی برای q ، p است (یک شرط کافی برای تشکیل نشدن کلاس نیامدن استاد است)

6-      یک شرط لازم برای p، q است. (شرط لازم برای نیامدن استاد تشکیل نشدن کلاس است یا برای این که کلاس تشکیل نشود لازم است استاد نیایید)

7-      p ایجاب می کند q را(نیامدن استاد ایجاب می کند تشکیل نشدن کلاس را)

8-      q مگر نقیض  p (کلاس تشکیل نمی شود مگر این که خلاف نیامدن استاد ثابت شود)

9-      P فقط اگر q (p نمی تواند true باشد وقتی q برابر true نیست. یعنی اگر کلاس تشکیل شده پس یعنی استاد آمده یعنی وقتی جمله دوم نقض شده (تشکیل نشدن به تشکیل شدن تبدیل شده باشد) پس یعنی جمله اول هم نمی تواند نیامدن استاد باشد و تبدیل به آمدن شده است)