Instrukcja warunkowa jest elementem
języka programowania, które pozwala na wykonanie różnych obliczeń w zależności od tego czy zdefiniowane przez
programistę wyrażenie
logiczne jest prawdziwe, czy fałszywe. Możliwość warunkowego decydowania o tym, jaki krok zostanie wykonany w dalszej kolejności jest jedną z podstawowych własności współczesnych
komputerów – dowolny model obliczeń zdolny do wykonywania
algorytmów (tj. równoważny
maszynom Turinga) musi ją posiadać.