اگر و تنها اگر

اگر و تنها اگر (به انگلیسی: If and only if) واژۀ ربط و پیوندی در گزاره‌های دوشرطی در منطق است که دو گزاره را به هم پیوند می‌دهد. بدین سان دو گزارۀ شرطی را پدید می‌آورد چنان‌ که مقدم و تالی یکی از آن‌ها به ترتیب، تالی و مقدم دیگری است. یک گزارۀ دوشرطی درست است مانند قضیه تالس، اگر و تنها اگر هر دو گزارۀ سازمان دهندۀ آن دارای ارزش راستی یکسان باشند؛ یعنی این‌که یا هر دو درست باشند یا هر دو نادرست و اگر جز این‌ باشد، صورت گزارۀ دوشرطی نادرست است.