دوشرطی منطقی

در منطق و ریاضیات، ترکیب دوشرطی یک عملگر منطقی است که دو گزاره را به هم وصل می‌کند تا نشان دهد، p اگر و فقط اگر q، که p فرض یا فرضیه است و q حکم یا نتیجه می‌باشد.

نمودار ون برای (قسمت درست قرمز است.)

جستارهای مربوط
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.