Dalam ilmu komputer, pernyataan percabangan, ekspresi percabangan, dan konstruksi percabangan adalah fitur dari bahasa pemrograman yang melakukan perhitungan atau tindakan yang berbeda tergantung pada apakah kondisi boolean yang ditentukan pemrogram mengevaluasi benar atau salah.
جملات شرطی شامل دو قسمت می‌باشند: یکی عبارت شرطی و دیگری عبارت اصلی. عبارتی که حاوی if باشد را عبارت شرطی و عبارت دیگر را عبارت اصلی می‌نامیم. رویدادی که در عبارت اصلی توصیف می‌شود بستگی به شرطی دارد که در عبارت شرطی بیان می‌شود.