Khác biệt giữa bản sửa đổi của “Tham số”

Nội dung được xóa Nội dung được thêm vào
n Đã lùi lại sửa đổi của 14.170.47.179 (Thảo luận) quay về phiên bản cuối của Quenhitran
n →‎Logic: replaced: định lí → định lý using AWB
Dòng 19:
 
===Logic===
Trong [[logic]], các tham số truyền cho (hay tác động lên) một "vị từ mở" ([[tiếng Anh]]: ''open predicate'') được gọi là "tham số" bởi một số tác giả (ví dụ, [[Prawitz]], "Suy diễn tự nhiên"; Paulson, "Thiết kế bộ chứng minh định "). Các tham số được định nghĩa bên trong một vị từ gọi là "biến".
 
===Kĩ thuật===