:in order to prove φ → ψ,makeatempo

:in order to prove φ → ψ,makeatemporaryassumptionof φ and then prove ψ. In your proof of ψ, you can useφ and any of the other formulas such as premises and provisional conclusions that you have made so far. Proofs may nest boxes or open new boxes after old ones have been closed. There are rules about which formulas can be used at which points in the proof. Generally, we can only use a formula φ in a proof at a given point if that formula occurs prior to that point and if no box which encloses that occurrence of φ has been closed already. The line immediately following a closed box has to match the pattern of the conclusion of the rule that uses the box. For implies-introduction, this means that we have to continue after the box with φ → ψ, where φ was the first and ψ the last formula of that box. We will encounter two more proof rules involving proof boxes and they will require similar pattern matching.

Kết quả (Việt) 1:

: để chứng minh φ → ψ, makeatemporaryassumptionof φ và sau đó chứng minh ψ. Trong của bạn chứng minh ψ, bạn có thể useφ bất kỳ công thức khác như mặt bằng và tạm thời kết luận rằng bạn đã thực hiện cho đến nay. Chứng minh có thể làm tổ hộp hoặc mở hộp mới sau khi cái cũ đã bị đóng cửa. Không có quy tắc về những công thức có thể được sử dụng tại những điểm trong các bằng chứng. Nói chung, chúng tôi chỉ có thể sử dụng một φ công thức trong một bằng chứng tại một thời điểm nhất định nếu công thức đó xảy ra trước thời điểm đó và nếu không có hộp mà bao quanh đó sự xuất hiện của φ đã bị đóng cửa đã. Các dòng ngay lập tức sau một hộp kín có để phù hợp với các mô hình của các kết luận của các quy tắc sử dụng các hộp. Giới thiệu ngụ ý, điều này có nghĩa rằng chúng ta phải tiếp tục sau khi hộp với φ → ψ, nơi φ là chính và ψ công thức cuối cùng của hộp đó. Chúng ta sẽ gặp phải hai quy tắc thêm bằng chứng liên quan đến chứng minh hộp và họ sẽ yêu cầu tương tự như mô hình kết hợp.

Kết quả (Việt) 2:

: Để chứng minh φ → ψ, makeatemporaryassumptionof φ và sau đó chứng minh ψ. Trong bằng chứng của ψ, bạn có thể useφ và bất kỳ của các công thức khác như tiền đề và kết luận tạm thời mà bạn đã thực hiện cho đến nay. Bằng chứng có thể hộp làm tổ hoặc hộp mới mở sau khi cái cũ đã bị đóng cửa. Có những quy tắc về những công thức có thể được sử dụng mà tại đó điểm trong chứng minh. Nói chung, chúng tôi chỉ có thể sử dụng một công thức φ trong một chứng minh tại một điểm nhất định nếu công thức xảy ra trước thời điểm đó và nếu không có hộp mà bao quanh là sự xuất hiện của φ đã bị đóng cửa rồi. Các dòng ngay lập tức sau một hộp kín có để phù hợp với mô hình của các kết luận của các quy tắc sử dụng hộp. Đối với ngụ ý giới thiệu, điều này có nghĩa là chúng ta phải tiếp tục sau khi các hộp với φ → ψ, nơi φ là tiên fi và ψ công thức cuối cùng của hộp thoại đó. Chúng tôi sẽ gặp phải nhiều hơn hai quy tắc bằng chứng liên quan đến các hộp bằng chứng và họ sẽ yêu cầu phù hợp với mô hình tương tự.