– jedna z najistotniejszych instrukcji języków programowania typu Basic, Pascal, Java. Słowo IF to wyrażenie warunku: jeśli wyrażenie jest prawdziwe zostaje wykonana instrukcja prawdy, jeśli wyrażenie jest fałszywe nie zostaje wykonana instrukcja prawdy lub wykonywana jest instrukcja fałszu.