Hóa trị hai trong toán học là gì?

Trong toán học, đặc biệt là trong bối cảnh của lý thuyết tập hợp và logic, "hai hóa trị" dùng để chỉ thứ có hai giá trị hoặc kết quả có thể xảy ra.

Ví dụ: một quyết định nhị phân (có/không, đúng/sai) là hai giá trị vì nó chỉ có thể có một của hai giá trị có thể Tương tự, logic hai giá trị là hóa trị hai vì nó chỉ có thể có hai giá trị chân lý có thể có (đúng hoặc sai).

Ngược lại, logic ba giá trị (có ba giá trị chân lý có thể có) là hóa trị ba và logic có giá trị n (với n > 2 giá trị thật có thể) là n-valent.

Thuật ngữ "hai hóa trị" có nguồn gốc từ các từ tiếng Latin "bi," có nghĩa là "hai" và "valens," có nghĩa là "mạnh mẽ" hoặc "mạnh mẽ". Nó được sử dụng lần đầu tiên trong bối cảnh này bởi nhà toán học Gottlob Frege vào cuối thế kỷ 19.