Typically, a rule of inference pres

Typically, a rule of inference preserves truth, a semantic property. In many-valued logic, it preserves a general designation. But a rule of inference's action is purely syntactic, and does not need to preserve any semantic property: any function from sets of formulae to formulae counts as a rule of inference. Usually only rules that are recursive are important; i.e. rules such that there is an effective procedure for determining whether any given formula is the conclusion of a given set of formulae according to the rule. An example of a rule that is not effective in this sense is the infinitary ω-rule.[1]

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

Thông thường, một quy tắc suy luận bảo tồn sự thật, bất động sản ngữ nghĩa. Trong rất nhiều giá trị logic, nó duy trì một tên gọi chung. Nhưng một nguyên tắc hoạt động của suy luận là cú pháp hoàn toàn, và không cần phải giữ lại bất kỳ tài sản ngữ nghĩa: bất kỳ chức năng từ bộ công thức công thức tính như là một quy tắc suy luận. Thường chỉ có quy tắc là đệ quy rất quan trọng; tức là các quy tắc như vậy mà có một quy trình hiệu quả để xác định xem bất kỳ công thức nhất định là kết luận của một tập hợp của các công thức theo các quy tắc. Một ví dụ về một quy tắc là không hiệu quả trong ý nghĩa này là ω-quy tắc infinitary. [1]

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

Thông thường, một quy tắc suy luận bảo thật, một hữu ngữ nghĩa. Trong nhiều giá trị logic, nó bảo một định chung. Nhưng một nguyên tắc hành động suy luận là hoàn toàn cú pháp, và không cần phải bảo quản các tài sản ngữ nghĩa: bất kỳ chức năng từ bộ công thức công thức tính như là một quy luật của sự suy luận. Thông thường chỉ có quy tắc là đệ quy là quan trọng; tức là quy tắc như vậy mà có một quy trình hiệu quả để xác định xem có bất kỳ công thức được đưa ra là kết luận của một tập hợp các công thức theo các quy tắc. Một ví dụ về một quy tắc đó không có hiệu quả trong ý nghĩa này là infinitary ω trị. [1]