Bản dịch của từ Satisfiability trong tiếng Việt
Satisfiability
Satisfiability (Noun)
Trong toán học và logic, “satisfiability” là tính chất của một mệnh đề hoặc công thức có thể được thỏa mãn — tức là tồn tại một cách gán giá trị (hoặc một trường hợp) khiến mệnh đề/công thức trở thành đúng.
Mathematics of a proposition or formula The property of being able to be satisfied.
Từ tiếng Việt gần nghĩa
Mô tả từ
Mô tả chung, Nguồn gốc và lịch sử, Tần suất và ngữ cảnh
Luyện nói từ vựng với Chu Du AI
/satisfiability/
Tính có thể thỏa mãn (satisfiability) là một khái niệm quan trọng trong lý thuyết logic và khoa học máy tính, liên quan đến khả năng của một mệnh đề hoặc hệ thống mệnh đề có thể được thỏa mãn bởi một giá trị đúng hoặc sai. Trong tiếng Anh, thuật ngữ này được sử dụng nhất quán trong cả tiếng Anh Mỹ và tiếng Anh Anh, không có sự khác biệt đáng kể về nghĩa hay hình thức viết. Tuy nhiên, trong ngữ cảnh ứng dụng, thuật ngữ này thường xuất hiện trong nghiên cứu về giải quyết vấn đề và lập trình logic.
Tính có thể thỏa mãn (satisfiability) là một khái niệm quan trọng trong lý thuyết logic và khoa học máy tính, liên quan đến khả năng của một mệnh đề hoặc hệ thống mệnh đề có thể được thỏa mãn bởi một giá trị đúng hoặc sai. Trong tiếng Anh, thuật ngữ này được sử dụng nhất quán trong cả tiếng Anh Mỹ và tiếng Anh Anh, không có sự khác biệt đáng kể về nghĩa hay hình thức viết. Tuy nhiên, trong ngữ cảnh ứng dụng, thuật ngữ này thường xuất hiện trong nghiên cứu về giải quyết vấn đề và lập trình logic.