Biểu thức hằng đúng là?
A.
Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng.
B.
Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề
C.
Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề
D.
Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai.
Trả lời:
Đáp án đúng: B
Biểu thức hằng đúng (tautology) là biểu thức logic luôn luôn đúng, bất kể giá trị chân lý của các biến mệnh đề trong biểu thức đó là gì. Điều này có nghĩa là, cho dù các biến mệnh đề nhận giá trị đúng (True) hay sai (False) thì biểu thức vẫn luôn cho ra kết quả là đúng (True).
* **Phương án A:** Sai. Biểu thức chỉ đúng khi các biến mệnh đề đúng không phải là định nghĩa của hằng đúng. Hằng đúng phải đúng trong mọi trường hợp.
* **Phương án B:** Đúng. Đây chính là định nghĩa của biểu thức hằng đúng.
* **Phương án C:** Sai. Biểu thức nhận chân trị sai trong mọi trường hợp là biểu thức hằng sai (contradiction), không phải hằng đúng.
* **Phương án D:** Sai. Biểu thức chỉ sai khi các biến mệnh đề sai không phải là định nghĩa của hằng đúng. Hằng đúng phải đúng trong mọi trường hợp.