Biểu thức logic A được gọi là hằng sai nếu.

A nhận giá trị với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

A nhận giá trị False với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

A nhận giá trị True với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.

A nhận giá trị False khi tồn tại hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.