Egy programozási nyelv nyilatkozat arról, hogy kiválaszt egy végrehajtási útvonal alapján van-e valamilyen állapot a true vagy false (például az IF utasítást).