قیاس دو حدی یا تنگنا یا دوراهی یا دوگانگی یا ذوالحدین (به انگلیسی: Dilemma) و (به یونانی: δίλημμα) الگویی منطقی است که از سه مقدمه تشکیل می شود. مقدمه اول قضیه شرطی منفصل و مقدمه دوم و سوم قضایای شرطی متصل هستند که مقدم آن ها به ترتیب، قضیه اول و قضیه دوم قضیه منفصل است. نتیجه این مقدمات، یک قضیه شرطی منفصل ایجاد خواهد نمود که هر قضیه آن، تالی دو ترکیب شرطی در مقدمه هاست.
مثال دیگری از این الگو:
مثال دیگری از این الگو:
wiki: ذوالحدین