Kenyataan bersyarat, dalam pengaturcaraan komputer, merujuk kepada blok kod sesebuah kod sumber atur cara dalam bahasa pengaturcaraan yang akan melaksanakan sesuatu pengiraan atau tindakan jika sesuatu syarat dipenuhi.Contoh blok kod kenyataan bersyarat dalam C ialahKod di atas boleh di baca sebagaiKenyataan bersyarat boleh mencapai lebih daripada satu syarat dengan hadirnya kenyataan IF-ELSE (jika-sebaliknya) dan IF-ELSEIF-ELSE (jika-sebaliknyajika-sebaliknya). Contohnya dengan pseudokod berikutUntuk kenyataan bersyarat yang mempunyai peringkat yang banyak, biasanya sesebuah bahasa pengaturcaraan memiliki ciri kenyataan switch.