Các bảng sự thật là một lôgic chiến lược đơn giản là thiết lập tính hợp lệ của một số đề xuất liên quan đến bất kỳ tình huống nào, tức là xác định các điều kiện cần thiết để trở thành đúng một tuyên bố được đề xuất, cho phép được phân loại thành phản chứng (đúng với mọi tình huống) mâu thuẫn (các phát biểu sai trong hầu hết các trường hợp) hoặc ngẫu nhiên (các phát biểu có thể không nhiều đúng và sai không nghiêng về một hướng).
Nó cho phép các khía cạnh khác nhau của tuyên bố như các điều kiện làm cho nó đúng và kết luận logic của nó là gì, nghĩa là nếu tuyên bố được đề xuất là đúng hay sai. Bảng này do Charles Sander Peirce nghĩ ra vào khoảng năm 1880, nhưng được sử dụng rộng rãi nhất là mẫu được cập nhật bởi Luidwin Wittgenstein vào năm 1921.
Việc xây dựng bảng dựa trên việc sử dụng một ký tự cho các biến kết quả và chúng được đáp ứng và chúng được cho là đúng, trong trường hợp ngược lại, chúng không được đáp ứng, chúng được gán tên là sai, ví dụ:: "Nếu chúng tôi di chuyển, con chó của tôi sẽ chết . " Các biến: A: Nếu nó di chuyển- B: con chó chết.
Nếu nó được cho là đúng với cả hai biến, ký tự (V) được gán và thể hiện tính tích cực của câu lệnh, nếu một số biến không được đáp ứng, thì ký tự (F) được gán, điều này không đại diện cho sự sai lệch của câu lệnh vì với Nếu chỉ có một biến được thỏa mãn, nó có thể được chỉ định là true, điều đó sẽ phụ thuộc vào câu lệnh. Khi cả hai giá trị đều đúng, nó được cho là có sự liên hợp trong câu lệnh, ngược lại, nếu nhận được hai kết quả true và một kết quả đúng và một kết quả sai, nó được cho là có một liên hợp.
