. Một khẳng định hoặc đúng hoặc sai, không thể vừa đúng vừa sai gọi là một mệnh đề. . Một mệnh đề còn phụ thuộc vào những giá trị của biến số gọi là mênh đề chứa biến. Mệnh đề chứa biến x kí hiệu là: P(x). . Mệnh đề “ không phải P” là mệnh đề phủ định của mệnh đề P và kí hiệu là . . Mệnh đề “ Nếu P thì Q” được gọi là mệnh đề kéo theo và kí hiệu là: . Mệnh đề chỉ sai khi P đúng và Q sai