A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and the use of Heyting algebras to represent truth values in intuitionistic propositional logic. Một ví dụ cơ bản là việc sử dụng đại số Boolean để biểu diễn các giá trị chân lý trong logic mệnh đề cổ điển và sử dụng đại số Heyting để biểu diễn các giá trị chân lý trong logic mệnh đề trực giác.
For a compound proposition to be true, the truth values of its constituent parts must satisfy the relevant logical connectives that occur in it (most commonly: and, or, not, only if, if and only if). Đối với một đề xuất hợp chất là đúng, các giá trị chân lý của các bộ phận cấu thành của nó phải đáp ứng các từ nối logic có liên quan xảy ra trong nó (thường gặp nhất: , , , , ).
For a compound proposition to be true, the truth values of its constituent parts must satisfy the relevant logical connectives that occur in it (most commonly: , , , , ). Đối với một đề xuất hợp chất là đúng, các giá trị chân lý của các bộ phận cấu thành của nó phải đáp ứng các từ nối logic có liên quan xảy ra trong nó (thường gặp nhất: , , , , ).
For a compound proposition to be true, the truth values of its constituent parts must satisfy the relevant logical connectives which occur in it (most commonly: , , , , ). Đối với một đề xuất hợp chất là đúng, các giá trị chân lý của các bộ phận cấu thành của nó phải đáp ứng các từ nối logic có liên quan xảy ra trong nó (thường gặp nhất: , , , , ).
