Trong Pascal, cú pháp câu lệnh rẽ nhánh if-then dạng đủ là

if <điều kiện> then <câu lệnh> ;

if <điều kiện> then <câu lệnh>

if <điều kiện> then <câu lệnh 1> else <câu lệnh 2> ;

if <điều kiện> then <câu lệnh 1> else <câu lệnh 2>