Chia sẻ:
Các đặc điểm và ví dụ không chính xác
các mệnh đề sai chúng là các thực thể logic có giá trị thực là null (false). Nói chung, một mệnh đề là một ngôn ngữ (câu) hoặc biểu thức toán học mà từ đó sự thật hoặc giả của nó có thể được đảm bảo. Các đề xuất là cơ sở của logic và tạo nên một lĩnh vực rất cụ thể được gọi là logic mệnh đề.
Theo cách này, đặc điểm chính của một mệnh đề là khả năng được khai báo theo giá trị thật của nó (sai hoặc đúng). Ví dụ: biểu thức ¡Juan, đi đến cửa hàng! nó không đại diện cho một đề xuất bởi vì nó thiếu khả năng này. Trong khi đó, những lời cầu nguyện như Juan đã đến cửa hàng để mua hoặc Juan đến cửa hàng nếu họ có nó.
Bây giờ, trong mặt phẳng toán học, "10-4 = 6" và "1 + 1 = 3" là các mệnh đề. Trường hợp đầu tiên là một đề xuất thực sự. Về phần mình, phần hai là một phần của những đề xuất sai.
Vì vậy, điều quan trọng không phải là đề xuất hay cách trình bày, mà là giá trị thật của nó. Nếu có một, thì đó cũng là mệnh đề.
Chỉ số
- 1 Đặc điểm
- 1.1 Đơn giản hoặc hợp chất
- 1.2 Tuyên bố
- 1.3 Thiếu sự mơ hồ
- 1.4 Với một giá trị thật duy nhất
- 1.5 Dễ bị biểu thị
- 1.6 Sử dụng các đầu nối hoặc đầu nối logic
- 2 bảng chân lý
- 3 ví dụ về các đề xuất sai
- 3.1 Mệnh đề đơn giản
- 3.2 Đề xuất tổng hợp
- 4 tài liệu tham khảo
Tính năng
Đơn giản hoặc hợp chất
Các mệnh đề sai có thể đơn giản (chúng chỉ biểu thị một giá trị chân lý) hoặc hợp chất (chúng thể hiện nhiều giá trị của sự thật). Điều này phụ thuộc vào việc các thành phần của nó có bị ảnh hưởng bởi các yếu tố chuỗi hay không. Các yếu tố quan hệ này được gọi là kết nối hoặc liên kết logic.
Một ví dụ đầu tiên là các mệnh đề sai của loại: "Con ngựa trắng là đen", "2 + 3 = 2555" hoặc "Tất cả các tù nhân đều vô tội".
Trong số các đề xuất tương ứng loại thứ hai như "Xe có màu đen hoặc đỏ", "Nếu 2 + 3 = 6, thì 3 + 8 = 6". Trong phần sau, liên kết giữa ít nhất hai mệnh đề đơn giản được quan sát.
Cũng như những cái đúng, những cái giả được đan xen với những mệnh đề đơn giản khác có thể sai và những cái khác đúng. Kết quả phân tích tất cả các mệnh đề này dẫn đến một giá trị của sự thật sẽ là đại diện cho sự kết hợp của tất cả các mệnh đề liên quan.
Tuyên bố
Các mệnh đề sai là khai báo. Điều này có nghĩa là chúng luôn có giá trị thật liên quan (giá trị sai).
Ví dụ: nếu bạn có "x lớn hơn 2" hoặc "x = x", bạn không thể đặt giá trị của sai (hoặc sự thật) cho đến khi bạn biết thực tế là "x" đại diện. Do đó, cả hai biểu thức đều không được coi là khai báo.
Thiếu sự mơ hồ
Các mệnh đề sai không có sự mơ hồ. Chúng được xây dựng theo cách mà chúng có một cách giải thích duy nhất có thể. Theo cách này, giá trị thật của nó là cố định và duy nhất.
Mặt khác, sự thiếu mơ hồ này phản ánh tính phổ quát của nó. Do đó, đây có thể là tiêu cực toàn cầu, đặc biệt tiêu cực và tiêu cực tồn tại:
- Tất cả các hành tinh xoay quanh mặt trời (tiêu cực toàn cầu).
- Một số người sản xuất chất diệp lục (đặc biệt tiêu cực).
- Không có chim đất (tồn tại tiêu cực).
Với một giá trị thật
Các mệnh đề sai chỉ có một giá trị thật, sai. Họ không có giá trị thực sự đồng thời. Mỗi khi đề xuất tương tự được đưa ra, giá trị của nó sẽ vẫn là sai miễn là các điều kiện trong đó nó được xây dựng không thay đổi.
Dễ bị đại diện một cách tượng trưng
Các mệnh đề sai dễ bị thể hiện theo cách tượng trưng. Với mục đích này, các chữ cái đầu tiên của từ vựng được gán theo cách thông thường để chỉ định chúng. Do đó, trong logic mệnh đề, các chữ cái thường a, b, c và các chữ cái tiếp theo tượng trưng cho các mệnh đề.
Khi một đề xuất đã được chỉ định một chữ cái tượng trưng, nó được duy trì trong suốt quá trình phân tích. Theo cách tương tự, được gán giá trị chân lý tương ứng, nội dung của đề xuất sẽ không còn quan trọng nữa. Tất cả các phân tích tiếp theo sẽ dựa trên biểu tượng và giá trị thật.
Sử dụng các đầu nối hoặc đầu nối logic
Thông qua việc sử dụng chuỗi (kết nối hoặc kết nối logic), một số đề xuất sai lầm đơn giản có thể tham gia và tạo thành một hỗn hợp. Các đầu nối này là kết hợp (y), phân tách (o), hàm ý (sau đó), tương đương (nếu và chỉ khi) và phủ định (không).
Những kết nối này liên quan chúng với những người khác cũng có thể sai hoặc không. Các giá trị chân lý của tất cả các mệnh đề này được kết hợp với nhau, theo các nguyên tắc cố định và đưa ra giá trị chân lý "tổng" cho toàn bộ mệnh đề hoặc đối số ghép, vì nó cũng được biết.
Mặt khác, các đầu nối đưa ra giá trị thật "tổng" của các mệnh đề chuỗi. Ví dụ, một tuyên bố sai lầm bị xích vào một lỗi sai thông qua một đầu nối phân tách ném một giá trị sai cho hỗn hợp. Nhưng nếu nó được liên kết với một mệnh đề đúng, giá trị thật của mệnh đề ghép sẽ là đúng.
Bảng chân lý
Tất cả các kết hợp có thể có của các giá trị chân lý mà các mệnh đề sai lầm có thể lấy được gọi là các bảng chân lý. Các bảng này là một công cụ logic để phân tích một số báo cáo sai được liên kết với nhau.
Bây giờ, giá trị thật thu được có thể là đúng (tautology), false (mâu thuẫn) hoặc dự phòng (sai hoặc đúng, tùy thuộc vào các điều kiện). Các bảng này không tính đến nội dung của từng đề xuất sai lầm, chỉ có giá trị thật của chúng. Do đó, chúng là phổ quát.
Ví dụ về các đề xuất sai
Mệnh đề đơn giản
Mệnh đề đơn giản có một giá trị chân lý độc đáo. Trong trường hợp này, giá trị thật là sai. Giá trị này được chỉ định tùy thuộc vào nhận thức cá nhân của người đó về thực tế. Ví dụ: các mệnh đề đơn giản sau có giá trị sai:
- Cỏ có màu xanh.
- 0 + 0 = 2
- Học người choáng váng.
Đề xuất tổng hợp
Các đề xuất sai lầm ghép được hình thành từ các liên kết đơn giản được liên kết thông qua các đầu nối:
- Cỏ xanh và học hành tàn bạo con người..
- 0 + 0 = 2 hoặc cỏ có màu xanh.
- Nếu 0 + 0 = 2, thì cỏ có màu xanh.
- 0 + 0 = 2, và cỏ có màu xanh khi và chỉ khi nghiên cứu làm choáng người.
Tài liệu tham khảo
- Đại học Texas tại Austin. (s / f). Logic đề xuất. Lấy từ cs.utexas.edu.
- Đại học Simon Fraser. (s / f). Logic đề xuất. Lấy từ cs.sfu.ca.
- Đại học cũ Dominion. (s / f). Đề xuất Lấy từ cs.odu.edu.
- Internet bách khoa toàn thư về triết học. (s / f). Logic đề xuất. Lấy từ iep.utm.edu.
- Bách khoa toàn thư Britannica. (2011, tháng 4). Bảng chân lý. Lấy từ britannica.com.
- Andrade, E .; Cubides, P.; Márquez, C .; Vargas, E. và Cancino, D. (2008). Logic và tư duy chính thức. Bogotá: Biên tập Đại học del Rosario.
- Grant Luckhardt, C .; Bechtel, W. (1994). Làm thế nào để làm những điều với logic. New Jersey: Lawrence Erlbaum Associates, Inc.