اقتضاء منطقي ثنائي