The natural deduction rules make it

The natural deduction rules make it possible for us to develop rigorous threads of argumentation, in the course of which we arrive at a conclusion ψ assuming certain other propositions φ1,φ2,...,φn. In that case, we said that the sequent φ1,φ2,...,φn  ψ is valid. Do we have any evidence that these rules are all correct in the sense that valid sequents all ‘preserve truth’ computed by our truth-table semantics?

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

Các quy tắc khấu trừ tự nhiên làm cho nó có thể cho chúng tôi để phát triển các chủ đề chặt chẽ của argumentation, trong quá trình mà chúng tôi đến một kết luận ψ giả định một số khác đề xuất φ1, φ2,..., φn. Trong trường hợp đó, chúng tôi cho rằng, sequent φ1, φ2,..., φn ψ là hợp lệ. Chúng tôi có bất cứ bằng chứng rằng các quy tắc này là tất cả đúng trong ý nghĩa hợp lệ sequents tất cả 'bảo vệ sự thật' tính bởi ngữ nghĩa bảng chân trị của chúng tôi?

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

Các quy tắc khấu trừ tự nhiên làm cho nó có thể cho chúng tôi để phát triển đề nghiêm ngặt của lập luận, trong quá trình đó, chúng tôi đi đến một kết luận ψ giả nhất định các mệnh đề khác φ1, φ2, ..., φn. Trong trường hợp đó, chúng tôi cho rằng, tiếp theo; φ1, φ2, ..., φn? ψ là hợp lệ. Chúng ta có bất kỳ bằng chứng cho thấy các quy định này đều đúng theo nghĩa rằng sequents hợp lệ tất cả 'giữ chân' tính bằng cách ngữ nghĩa thật-bàn của chúng tôi?