second-order logic
danh từ (noun)
Nghĩa chính
- Hệ thống hình thức mở rộng logic bậc nhất bằng cách cho phép định lượng các mối quan hệ giữa các thành viên trong vũ trụdanh từkhông đếm được (uncountable)A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
Dạng từ (word form)
theo quy tắc (regular)- second-order logicDạng gốc (base form)
- second-order logicsSố nhiều (plural)
Cụm từ (phrase)
| Cụm từ | Từ loại | Nghĩa |
|---|---|---|
| monadic second-order logicdanh từ | danh từ | Hệ thống suy diễn hình thức mở rộng logic bậc nhất bằng khả năng định lượng các vị từ đơn nhất đối với các thành viên riêng lẻ của vũ trụ diễn ngôn |