W informatyce instrukcje warunkowe, wyrażenia warunkowe i konstrukcje warunkowe są cechami języka programowania, które wykonują różne obliczenia lub akcje w zależności od tego, czy warunek logiczny określony przez programistę ma wartość true, czy false. Poza przypadkiem przewidywania gałęzi, jest to zawsze osiągane poprzez selektywną zmianę przepływu sterowania w oparciu o pewne warunki.