Logic giá trị thật

Giá trị thật, theo logic, sự thật (T hoặc 1) hoặc giả (F hoặc 0) của một đề xuất hoặc tuyên bố nhất định. Các kết nối logic, chẳng hạn như phân tách (ký hiệu, đối với Mạnh hoặc Nghi) và phủ định (ký hiệu), có thể được coi là các hàm chân lý, bởi vì giá trị thật của một mệnh đề ghép là một hàm của hoặc một đại lượng phụ thuộc vào, các giá trị thật của các bộ phận cấu thành của nó.

Giá trị thật của một câu lệnh ghép có thể dễ dàng được kiểm tra bằng biểu đồ được gọi là bảng chân lý. Mỗi hàng của bảng biểu thị một sự kết hợp có thể có của các giá trị thật cho các mệnh đề thành phần của hợp chất và số lượng hàng được xác định bởi số lượng kết hợp có thể. Ví dụ: nếu hợp chất chỉ chứa hai mệnh đề thành phần, sẽ có bốn khả năng và do đó bốn hàng vào bảng. Các thuộc tính logic của các kết nối chung có thể được hiển thị bằng các bảng chân lý như sau:

trong đó · biểu thị cho ý định và trên mạng và ”biểu thị cho nếu… sau đó." (Ví dụ, trong bảng ăn hoặc trên bảng, dòng thứ hai ghi là, Nếu Nếu đúng là p và q là sai, thì p ∨ q là đúng. Nghi) Các bảng chân lý có độ phức tạp lớn hơn nhiều, những bảng có một số hàm chân lý, có thể được xây dựng bằng máy tính. Các hệ thống logic trừu tượng đã được xây dựng sử dụng ba giá trị thật (ví dụ: đúng, sai và không xác định) hoặc thậm chí nhiều, như trong logic mờ, trong đó các mệnh đề có giá trị từ 0 đến 1.