سِفر یادگیری

... محلی برای تفکر و شناخت ... جایی برای دقیق و عمیق نگریستن

سِفر یادگیری

... محلی برای تفکر و شناخت ... جایی برای دقیق و عمیق نگریستن

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

سه شنبه, ۲۷ اسفند ۱۳۹۲، ۰۳:۲۹ ب.ظ

 

 

به نام او

در این نوشته در 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

نظرات (۲)

سید چرا بروز نمی کنی؟
سید منتظریم!

ارسال نظر

ارسال نظر آزاد است، اما اگر قبلا در بیان ثبت نام کرده اید می توانید ابتدا وارد شوید.
شما میتوانید از این تگهای html استفاده کنید:
<b> یا <strong>، <em> یا <i>، <u>، <strike> یا <s>، <sup>، <sub>، <blockquote>، <code>، <pre>، <hr>، <br>، <p>، <a href="" title="">، <span style="">، <div align="">