Trong các ngôn ngữ tự nhiên, một lượng từ biến một câu về một cái gì đó có một tính chất nhất định thành một câu về một số lượng những cái đó có tính chất đó.
Ví dụ về lượng từ là"tất cả", "một số", "nhiều", "vài", "hầu hết" và "không"; ví dụ về các câu lượng từ hóa là "tất cả mọi người đều sẽ chết", "một số người sẽ chết" và "không có ai sẽ chết", chúng được coi là đúng, đúng và sai tương ứng.
Trong logic toán, đặc biệt là logic bậc nhất, một lượng từ có nhiệm vụ tương tự, tác động lên một phát biểu toán học.
Chính xác hơn, một lượng từ xác định số lượng các mẫu trên một miền diễn ngôn thỏa mãn một biểu thức mở. Hai lượng từ hay dùng nhất là "với mọi" và "tồn tại" .
Một biểu thức bắt đầu bằng một lượng từ được gọi là một biểu thức lượng từ hóa. Một lượng từ yêu cầu phải có một biến, biến đó bị chặn bởi lượng từ đó.
This article uses material from the Wikipedia Tiếng Việt article Lượng từ (logic), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Nội dung được phát hành theo CC BY-SA 4.0, ngoại trừ khi có ghi chú khác. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Tiếng Việt (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.