Dạng thiếu :

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

vd : if a = 3 then a := a + 1;

Hoạt động : điều kiện sẽ được tính và kiểm tra. Nếu điều kiện đúng thì câu lệnh sẽ được thực hiện, ngược lại thì câu lệnh sẽ bị bỏ qua

Dạng đủ :

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

vd : if b = 0 then b := b + 1 else b := b + 2;

Hoạt động : điều kiện cũng được tính và kiểm tra. Nếu điều kiện đúng thì câu lệnh 1 sẽ được thực hiện, ngược lại câu lệnh 2 sẽ được thực hiện

Điều kiện là biểu thức logic

Câu lệnh, câu lệnh 1, câu lệnh 2 là một câu lệnh lệnh của pasc