Định lượng là gì? - định nghĩa từ techopedia

Định nghĩa - Quantifier có nghĩa là gì?

Trong logic, bộ lượng hóa là một yếu tố ngôn ngữ giúp tạo ra lượng tử hóa, đây là một cấu trúc đề cập đến số lượng mẫu vật trong miền diễn ngôn đã cho thỏa mãn một công thức mở nhất định. Bộ định lượng phần lớn được sử dụng trong logic, ngôn ngữ tự nhiên và toán học rời rạc.

Techopedia giải thích Định lượng

Bộ định lượng được sử dụng trong các biểu thức định lượng trong đó các biến tự do bị ràng buộc bởi các bộ lượng hóa. Nói cách khác, các biến của các vị từ được định lượng bằng các bộ lượng hóa. Có hai bộ định lượng nổi tiếng được sử dụng trong logic vị ngữ: bộ định lượng phổ và bộ định lượng tồn tại. Bộ định lượng phổ quát cho rằng các câu lệnh trong phạm vi của nó là đúng với mọi giá trị của biến duy nhất, trong khi đó trong trường hợp của bộ lượng hóa tồn tại, nó tuyên bố rằng các câu lệnh trong phạm vi của nó chỉ đúng với một số giá trị của biến cụ thể. Bộ định lượng phổ quát được ký hiệu là ký hiệu ∀, giống như ký hiệu ngược A. Công cụ định lượng tồn tại được ký hiệu bằng ký hiệu ∃, giống như ký tự E.

Thứ hạng định lượng xác định độ sâu lồng tối đa có thể cho các bộ định lượng bên trong một công thức nhất định. Cần lưu ý rằng thứ tự của các bộ lượng hóa là rất quan trọng đối với ý nghĩa của logic. Bộ lượng hóa có cách sử dụng rộng rãi trong logic vị ngữ và trong toán học rời rạc, vì chúng giúp dịch một câu lệnh logic đã cho.