Logic mệnh đề

Để xác định thuật ngữ "mệnh đề logic", nó là cần thiết để hiểu rõ ràng là những gì một "tuyên bố".

Vì vậy, tuyên bố là một câu, xếp hạng đúng ngữ pháp, và là sai hay đúng. Khái niệm này phải thể hiện một ý nghĩa nhất định. Ví dụ, cụm từ "chim hoàng yến có một" bao gồm các thành phần sau: "chim hoàng yến" và "chim".

Đó là lý do tại sao một trong những khái niệm ban đầu quan trọng của logic và đang nói. Những khái niệm phải mô tả một tình huống cụ thể, trong đó tuyên bố là một trong hai cái gì đó hoặc từ chối.

Nó được coi là một tuyên bố sự thật, nếu dòng bắt nguồn từ thực tế của tình hình khi nó được circumscribing. Bởi bản thân, "false" và "true" xác định sự thật của những điều khoản.

logic mệnh đề bao gồm các biểu thức đơn giản và phức tạp. Vì vậy, chỉ cần nghĩ rằng tuyên bố rằng không bao gồm trong phần biểu khác của nó. Và đến phức tạp bao gồm biểu thức có nguồn gốc từ một đơn giản, báo cáo kết nối logic.

logic mệnh đề cổ điển có thể được đại diện bởi các lý thuyết chung về khấu trừ. Nó là một phần của logic, trong đó mô tả không phụ thuộc vào những điều khoản kết nối logic của biểu thức đơn giản.

Chưa kể đến các liên từ - một đề xuất khó thu được bằng cách kết hợp hai biểu thức đơn giản bằng cách sử dụng từ "và". Sự thật của sự kết hợp xác nhận rằng tất cả các báo cáo có trong cấu trúc của nó. Trong trường hợp ít nhất một trong các thành viên của mình một sai lầm, toàn bộ kết hợp là một dấu hiệu của sự "một lời nói dối."

Chính nó là một kết hợp để tạo thành các báo cáo phức tạp, mà là dựa trên các giả định này:

- bất kỳ biểu hiện (và đơn giản và phức tạp) có thể là đúng hay sai;

- sự thật của lời phát biểu phức tạp phụ thuộc vào sự thật của những điều khoản chứa trong nó và các liên kết logic trong nó.

Khi kết nối hai câu lệnh bằng cách sử dụng từ "hoặc" đã thu được có sự khác biệt. Trong cuộc sống hàng ngày, khái niệm này có thể được nhìn từ quan điểm của hai ý nghĩa khác nhau. Đầu tiên, nó là cảm giác không độc quyền, có nghĩa là sự thật bày tỏ, không phụ thuộc vào biểu hiện thực sự của một trong hai hoặc là họ những của cả hai. Thứ hai, loại bỏ cảm giác khẳng định rằng một trong những biểu hiện là sự thật, và người kia - là sai.

công thức mệnh đề chứa các ký tự đặc biệt. Như vậy, trong biểu tượng phân ly V chỉ ra rằng biểu thức là đúng nếu sự thật của ít nhất một trong những điều khoản và sai nếu cả hai dương vật giả của mình.

Trong việc xác định ý nghĩa đó là sự khẳng định rằng các báo cáo cơ sở không thể đúng lúc cuộc điều tra sai. Nói cách khác, khái niệm này bao hàm sự phụ thuộc sự thật hoặc sai của sự biểu hiện của giá trị của các thành phần và phương pháp quan hệ của họ của nó.

Mặc dù thực tế rằng ngụ ý là khá hữu ích cho một số mục đích, nó không phải là rất phù hợp với sự hiểu biết thông thường của truyền thông nói chung. Vì vậy, khi nó bao quanh thiết bị nhiều tính năng quan trọng của hành vi hợp lý của các báo cáo cho khái niệm có thể không phải là một mô tả đầy đủ về nó.

logic mệnh đề nhằm giải quyết một nhiệm vụ trọng tâm như vậy, như việc tách chính xác và không chính xác mạch lý luận và hệ thống hóa đầu tiên. Để có được kết quả đúng, bạn cần tập trung vào các nhân vật đặc biệt mà có thể đại diện cho một hoặc một hình thức khác. Do đó chỉ quan tâm đến như vậy từ dường như không đáng kể như "hoặc", "và," vv

báo cáo logic thậm chí còn có ngôn ngữ riêng của mình, bao gồm các yếu tố sau:

- những nhân vật ban đầu - các biến, hằng logic, và các ký hiệu kỹ thuật;

- công thức.

Đối với một sự hiểu biết tốt hơn về những gì đã nói bạn phải đi đến những ví dụ cụ thể. Ví dụ, kết hợp sử dụng các biểu tượng &, phân ly - \ / hoặc \ º /.