JavaScript is required

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

A.

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

B.

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

C.

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

D.

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.

Trả lời:

Đáp án đúng: C


Biểu thức logic A được gọi là hằng đúng (tautology) nếu nó luôn nhận giá trị True (đúng) với mọi giá trị chân lý có thể của các biến mệnh đề có trong biểu thức đó. - Phương án A: Chỉ đúng khi *tồn tại* một giá trị chân lý làm cho A đúng, không đảm bảo A đúng với *mọi* giá trị. - Phương án B: Tương tự A, chỉ đúng với *giá trị* chân lý cụ thể, không đảm bảo A đúng với *mọi* giá trị. - Phương án C: Hoàn toàn phù hợp với định nghĩa hằng đúng. - Phương án D: Ngược lại với định nghĩa hằng đúng (đây là định nghĩa của hằng sai - contradiction). Vậy, đáp án đúng là C.

Câu hỏi liên quan