Logic mệnh đề
Mệnh đề là một câu khẳng định đúng hoặc một câu khẳng định sai. Câu khẳng định đúng gọi là mệnh đề đúng (mệnh đề có chân trị đúng) Câu khẳng định sai gọi là mệnh đề sai (mệnh đề có chân trị sai) Kí hiệu các mệnh đề: P, Q, R,. Kí hiệu chân trị đúng là 1(hay T-True), chân trị sai là 0(hay F-False)