Hypotetisk dom, (se hypotetisk), inden for logik betinget dom (fx "hvis tågen letter, kan flyvemaskinen starte").