Tautology là một thuật ngữ xuất phát từ một từ Hy Lạp và đề cập đến sự lặp lại của cùng một suy nghĩ thông qua các biểu thức khác nhau . Một tautology, cho hùng biện, là một tuyên bố dư thừa .
Thông thường các tautology được coi là một lỗi trong ngôn ngữ hoặc thiếu phong cách. Tuy nhiên, có thể thu hút các tautology để nhấn mạnh một ý tưởng nhất định. Ví dụ: câu "Tôi có thể xác nhận rằng bị cáo có tội kể từ khi tôi nhìn thấy vụ giết người bằng chính mắt mình" trình bày một sự làm rõ không cần thiết về việc sử dụng đôi mắt của anh ta, vì anh ta không thể nhìn thấy bằng bất kỳ phương tiện nào khác; theo cùng một cách, sự nhấn mạnh của từ "thích hợp" hoàn toàn có thể được bỏ qua.
Các ví dụ rất phổ biến khác về tautology có thể được nhìn thấy trong các câu sau: "Tôi sẽ lên tầng trên để tìm một cuốn sách và quay trở lại", "Tôi phải đi ra ngoài để tưới cây" . Bất cứ khi nào bạn leo lên nó là lên; Theo cùng một cách, để lại ngụ ý di chuyển ra khỏi một nơi, vì lý do này làm rõ những điều này là vô nghĩa và không cần thiết cho sự hiểu biết.
Khi tautology cho rằng một lời giải thích dư thừa không đóng góp kiến thức mới, nó thường được nói về sự thật hoặc sự thật của Perogrullo : "Tôi là chính tôi" . Biểu thức trong đó các thuật ngữ dư thừa xuất hiện (chẳng hạn như "đi lên" hoặc "đi ra ngoài" ), mặt khác, được gọi là màng phổi .
Trong lĩnh vực logic, tautology là một công thức của một hệ thống đúng với mọi diễn giải. Nói cách khác, đó là một biểu thức logic đúng với tất cả các giá trị chân lý có thể có của các thành phần nguyên tử của nó. Để biết nếu một công thức nhất định là một tautology, nên xây dựng một bảng chân lý.
Bảng chân lý
Bảng chân lý (còn được gọi là bảng giá trị chân lý ) trình bày một đề xuất tổng hợp và giá trị chân lý của nó cho mỗi kết hợp có thể có thể được đưa ra với các phần tử của nó. Tác giả của nó là nhà triết học và nhà khoa học người Mỹ Charles Sanders Peirce, còn được gọi là đại diện cao nhất của ký hiệu học hiện đại, và đã xuất bản nó vào giữa những năm 1880.
Để cấu hình một hệ thống chính thức, cần thiết lập các định nghĩa của từng toán tử và các đối số phải được trình bày dưới dạng lý luận suy diễn logic-ngôn ngữ, đáp ứng một thiết kế toán học thuần túy và tạo thành một ứng dụng logic xác định các biến đầu vào và đầu ra của nó.
Hai giá trị có thể mà bảng chân lý có thể đưa ra là: true, được biểu thị bằng chữ "V" hoặc với số "1" và chỉ ra rằng mạch đã bị đóng; sai, được biểu thị bằng chữ "F" hoặc số "0", khi một mạch được mở. Các đề xuất được phân tích là các biến và chúng được đặt ở phần trên của bảng, chiếm vị trí thường được sử dụng cho các tên trường.
Các toán tử được sử dụng trong một bảng chân lý là:
* phủ định : khi được thực hiện trên một giá trị chân lý nhất định, ném ngược lại (nếu ban đầu là đúng, trả về sai và ngược lại);
* kết hợp : nó được sử dụng để hoạt động với hai giá trị của sự thật, thường là của hai mệnh đề khác nhau và trả về giá trị true khi cả hai đều đúng và sai cho các trường hợp còn lại;
* phân biệt : tương tự như kết hợp, nhưng nó là đủ để một trong hai mệnh đề có giá trị thực để trả về kết quả như vậy;
* có điều kiện : còn được gọi bằng tên hàm ý, phải mất hai mệnh đề và ném sai chỉ khi cái đầu tiên trả về true và cái thứ hai sai. Đối với các trường hợp còn lại, kết quả là đúng;
* nhị phân : hoạt động dựa trên các giá trị thật của hai mệnh đề và trả về giá trị true nếu cả hai đều có cùng giá trị và sai trong trường hợp ngược lại.