Which one is a well-formed formula for a simple proposition?

Công thức hợp lệ (well-formed formula) trong logic mệnh đề phải tuân theo các quy tắc cú pháp nhất định. Trong trường hợp này, chúng ta cần xác định công thức nào được xây dựng đúng cách. * **Phương án A: h SENT BOOK** - Không hợp lệ vì "SENT" và "BOOK" có thể được coi là các hằng mệnh đề nhưng không có kết nối logic giữa chúng. * **Phương án B: h SENT b** - Tương tự như A, không hợp lệ vì thiếu kết nối logic. * **Phương án C: h SEND b k** - Không hợp lệ vì "SEND", "b", và "k" không được kết nối bằng các toán tử logic. * **Phương án D: h SEND BOOK m** - Không hợp lệ vì "SEND", "BOOK", và "m" không được kết nối bằng các toán tử logic. Do đó, không có đáp án nào là công thức hợp lệ theo nghĩa chặt chẽ của logic mệnh đề. Tuy nhiên, nếu chúng ta giả định rằng "h", "SENT", "BOOK", "b", "SEND", "k", và "m" là các biến mệnh đề, và câu hỏi đang kiểm tra việc nhận diện một chuỗi các biến mệnh đề đơn thuần (dù không có toán tử logic), thì không có đáp án đúng nhất. Trong trường hợp không có đáp án đúng, chúng ta vẫn cần phân tích để người học hiểu rõ bản chất vấn đề.