Toán học có rất nhiều biểu tượng. Một số có thể nói quá nhiều biểu tượng. Vì vậy, hãy làm một số toán học với hình ảnh.
Hãy có một tờ giấy, mà chúng ta sẽ vẽ. Để bắt đầu bài báo là có sản phẩm nào, chúng tôi sẽ nói đó là tương đương với hoặc đúng .
Nếu chúng ta viết những thứ khác trên giấy thì chúng cũng sẽ đúng.
Ví dụ
Chỉ ra rằng các yêu cầu và Q là đúng.
Bây giờ chúng ta hãy nói rằng nếu chúng ta vẽ một vòng tròn xung quanh một số tuyên bố rằng tuyên bố đó là sai. Điều này đại diện cho logic không.
Ví dụ:
Chỉ ra rằng sai và Q đúng.
Chúng tôi thậm chí có thể đặt vòng tròn xung quanh nhiều câu lệnh phụ:
Vì phần bên trong vòng tròn thường đọc là bằng cách đặt một vòng tròn xung quanh nó, nó có nghĩa là không ( P và Q ) . Chúng ta thậm chí có thể làm tổ
Vì không gian trống là đúng, nên phủ định của đúng là sai.
Bây giờ bằng cách sử dụng phương pháp trực quan đơn giản này, chúng ta thực sự có thể biểu diễn bất kỳ câu lệnh nào trong logic mệnh đề.
Bằng chứng
Bước tiếp theo sau khi có thể trình bày các tuyên bố là có thể chứng minh chúng. Để chứng minh, chúng tôi có 4 quy tắc khác nhau có thể được sử dụng để biến đổi biểu đồ. Chúng ta luôn bắt đầu với một tờ giấy trắng mà như chúng ta biết là một sự thật trống rỗng và sau đó sử dụng các quy tắc khác nhau này để biến tờ giấy trống của chúng ta thành một định lý.
Quy tắc suy luận đầu tiên của chúng tôi là Chèn .
Chèn
Chúng tôi sẽ gọi số lượng phủ định giữa biểu đồ con và mức cao nhất là "độ sâu". Chèn cho phép chúng tôi giới thiệu bất kỳ tuyên bố nào chúng tôi muốn ở độ sâu kỳ lạ.
Dưới đây là một ví dụ về chúng tôi thực hiện chèn:
Xóa
Quy tắc suy luận tiếp theo là Erasure . Erasure nói với chúng ta rằng nếu chúng ta có một tuyên bố ở độ sâu thậm chí chúng ta có thể loại bỏ nó hoàn toàn.
Dưới đây là một ví dụ về tẩy xóa đang được áp dụng:
Cắt đôi
Cắt đôi là một tương đương. Có nghĩa là, không giống như các suy luận trước đó, nó cũng có thể được đảo ngược. Double Cut cho chúng ta biết rằng chúng ta có thể vẽ hai vòng tròn xung quanh bất kỳ biểu đồ con nào và nếu có hai vòng tròn xung quanh biểu đồ con, chúng ta có thể xóa cả hai vòng tròn.
Dưới đây là một ví dụ về Double Cut đang được sử dụng
Lặp lại
Lặp lại là một tương đương là tốt. 1 Đảo ngược của nó được gọi là Deiteration Nếu chúng ta có một câu lệnh và một vết cắt ở cùng cấp độ, chúng ta có thể sao chép câu lệnh đó bên trong vết cắt.
Ví dụ:
Việc xác định cho phép chúng ta đảo ngược một Lặp lại . Một tuyên bố có thể được loại bỏ thông qua Deiteration nếu có một bản sao của nó ở cấp độ tiếp theo.
Định dạng đại diện và bằng chứng này không phải là phát minh của riêng tôi. Chúng là một sửa đổi nhỏ của logic sơ đồ được gọi là Đồ thị Hiện sinh Alpha . Nếu bạn muốn đọc thêm về điều này, không có nhiều tài liệu, nhưng bài viết được liên kết là một khởi đầu tốt.
Bài tập
Nhiệm vụ của bạn sẽ là chứng minh định lý sau:
Điều này, khi được dịch thành biểu tượng logic truyền thống là
.
Còn được gọi là Tiên đề Łukasiewicz-Tarski .
Nó có vẻ liên quan nhưng đồ thị hiện sinh rất hiệu quả khi nói đến độ dài bằng chứng. Tôi đã chọn định lý này bởi vì tôi nghĩ nó là một độ dài thích hợp cho một câu đố vui và đầy thử thách. Nếu bạn gặp rắc rối với điều này, trước tiên tôi khuyên bạn nên thử một số định lý cơ bản hơn để hiểu rõ hơn về hệ thống. Một danh sách này có thể được tìm thấy ở dưới cùng của bài viết.
Đây là bằng chứng golf , điểm số của bạn sẽ là tổng số bước trong chứng minh của bạn từ đầu đến cuối. Mục tiêu là để giảm thiểu điểm số của bạn.
định dạng
Định dạng cho thử thách này rất linh hoạt, bạn có thể gửi câu trả lời ở bất kỳ định dạng nào có thể đọc rõ ràng, bao gồm các định dạng vẽ tay hoặc kết xuất. Tuy nhiên để rõ ràng, tôi đề nghị định dạng đơn giản sau:
Chúng tôi đại diện cho một vết cắt với dấu ngoặc đơn, bất cứ điều gì chúng tôi đang cắt được đặt bên trong các ô. Việc cắt trống sẽ chỉ là
()
ví dụ.Chúng tôi đại diện cho các nguyên tử chỉ bằng chữ cái của họ.
Như một ví dụ ở đây là tuyên bố mục tiêu theo định dạng này:
(((A((B(A))))(((((C)((D((E)))))(((C((D(F))))(((E(D))((E(F))))))))(G))))((H(G))))
Định dạng này là tốt vì nó có thể đọc được cả người và máy, vì vậy bao gồm nó trong bài viết của bạn sẽ rất hay.
Đối với công việc thực tế của bạn, tôi khuyên bạn nên dùng bút chì và giấy khi làm việc. Tôi thấy rằng văn bản không trực quan như giấy khi nói đến đồ thị hiện sinh.
Ví dụ bằng chứng
Trong ví dụ này, chúng tôi sẽ chứng minh định lý sau:
Bằng chứng:
Định lý thực hành
Dưới đây là một số định lý đơn giản bạn có thể sử dụng để thực hành hệ thống:
Łukasiewicz 'Tiên đề thứ hai
Tiên đề của Meredith
1: Hầu hết các nguồn sử dụng phiên bản Lặp lại tinh vi và mạnh mẽ hơn , nhưng để đơn giản hóa thử thách này, tôi đang sử dụng phiên bản này. Chúng tương đương về chức năng.