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 |
|||
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
===Kĩ thuật===
|