first-order logic

danh từ (noun)

Nghĩa chính

Hệ thống suy diễn hình thức được mở rộng từ logic mệnh đề với khả năng định lượng từng cá nhân trong lĩnh vực diễn ngôndanh từđếm được và không đếm được (countable, uncountable)A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

Dạng từ (word form)

theo quy tắc (regular)

first-order logicDạng gốc (base form)
first-order logicsSố nhiều (plural)

Đồng nghĩa (synonym)

Đồng nghĩa

AI