در منطق گزاره‌ای، شرطی و دوشرطی از مهم‌ترین عملگرهایی هستند که برای بیان رابطه میان دو گزاره به کار می‌روند. گزاره شرطی با نماد \(p\rightarrow q\) نوشته می‌شود و معمولاً به صورت «اگر \(p\)، آنگاه \(q\)» خوانده می‌شود. این گزاره فقط زمانی نادرست است که \(p\) درست و \(q\) نادرست باشد. در مقابل، گزاره دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده می‌شود و زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند.

در این مقاله تعریف دقیق شرطی و دوشرطی، تفاوت آن‌ها، جدول ارزش، رابطه با عکس و عکس نقیض، مفهوم شرط لازم و کافی، هم‌ارزی‌های مهم و روش حل مثال‌های مختلف بررسی می‌شود.

این مقاله توسط آقای خسرو داوودی - مولف کتب ریاضی دوره راهنمایی نوشته شده است و توسط کاربر گرامی آقای جواد صدقی مقدم در صفحه همکاری با رایشمند برای ما ارسال شده است. بدین وسیله از ایشان تشکر نموده و 5 امیتاز مثبت در انجمن به ایشان تعلق می گیرد

شاید سال های قبل که در مورد کرم حلزون چیزهایی می شنیدید، تعجب می کردید و حتی آن را مسخره می‌نمودید. ولی در حال حاضر با انجام تحقیقات فراوان روی فواید این کرم برای پوست، می توانید با خیال راحت تر و مطمئن تری از آن استفاده کنید، خصوصا اگر بدانید بقراط، پدر علم پزشکی نیز در گذشته مصرف آن را توصیه کرده است.

اعضای کميته علمی رشته ریاضی (کشوری)

دکتر نظام الدين مهدوی اميری	استاد دانشگاه صنعتی شريف و مسئول کميته
دکتر اسداله آسرايی	از سازمان سنجش و عضو کميته علمی