اگر و تنها اگر
From Wikipedia, the free encyclopedia
«⟺» و «⇔» به اینجا تغییرمسیر دارند. برای دیگر کاربردها، فلش (نماد) را ببینید.
اگر و تنها اگر (به انگلیسی: If and only if) واژهٔ ربط و پیوندی در گزارههای دوشرطی در منطق است که دو گزاره را به هم پیوند میدهد. بدین سان دو گزارهٔ شرطی را پدیدمیآورد چنانکه مقدم و تالی یکی از آنها به ترتیب، تالی و مقدم دیگری است. یک گزارهٔ دوشرطی درست است مانند قضیه تالس، اگر و تنها اگر هر دو گزارهٔ سازمان دهندهٔ آن دارای ارزش راستی یکسان باشند؛ یعنی اینکه یا هر دو درست باشند یا هر دو نادرست و اگر جز این باشد، صورت گزارهٔ دوشرطی نادرست است.
↔⇔≡⟺
علامتهای منطقی برای نشان دادن اگر و تنها اگر