danh từ
(ngôn ngữ học) vị ngữ
(triết học) điều đã được xác nhận, điều đã được khẳng định
tính chất, thuộc tính
ngoại động từ
xác nhận, khẳng định
(từ Mỹ,nghĩa Mỹ) (: upon) dựa vào, căn cứ vào
Thuộc tính
/ˈpredɪkət//ˈpredɪkət/Từ "predicate" bắt nguồn từ tiếng Latin "praedicare," có nghĩa là "tuyên bố trước" hoặc "dự đoán." Động từ này bắt nguồn từ "praedictio," có nghĩa là "prediction" hoặc "tuyên bố," và có liên quan đến "praedix," có nghĩa là "người báo trước" hoặc "nhà tiên tri." Trong logic và ngữ pháp, vị ngữ là một câu hoặc mệnh đề được cho là "about" một cái gì đó khác, thường được thể hiện bằng một chủ ngữ. Vị ngữ là "says" một cái gì đó về chủ ngữ, và đó là một phần của câu cung cấp thêm thông tin về chủ ngữ. Ví dụ, trong câu "The sun is shining," "The sun" là chủ ngữ, và "is shining" là vị ngữ. Việc sử dụng thuật ngữ "predicate" theo nghĩa này có từ thế kỷ 15 và phản ánh ý tưởng về một mệnh đề hoặc tuyên bố là "proclaimed" hoặc "declared" về một chủ đề.
danh từ
(ngôn ngữ học) vị ngữ
(triết học) điều đã được xác nhận, điều đã được khẳng định
tính chất, thuộc tính
ngoại động từ
xác nhận, khẳng định
(từ Mỹ,nghĩa Mỹ) (: upon) dựa vào, căn cứ vào
Trong công thức toán học x^2 + 5x + 6, "x^2 + 5x" là vị ngữ.
Vị ngữ "P(x)" định nghĩa một thuộc tính của biến x trong logic vị ngữ.
Trong logic mệnh đề, vị ngữ "P and Q" biểu diễn một câu lệnh phức hợp bao gồm hai mệnh đề P và Q.
Phản ứng hóa học A + B → C có vị ngữ "A and B react to form C."
Tuyên bố sứ mệnh của một công ty có thể được coi như một vị ngữ, được nêu là "Our company produces high-quality products and services to meet the needs of our customers."
Trong truy vấn cơ sở dữ liệu, mệnh đề WHERE được sử dụng để xác định thuật ngữ hạn chế các hàng được chọn dựa trên các điều kiện nhất định.
Trong quá trình ra quyết định, vị ngữ "if P then Q" được sử dụng trong các câu lệnh điều kiện, còn được gọi là câu lệnh if-then.
Các vị ngữ trong bối cảnh trí tuệ nhân tạo truyền đạt kết quả mong muốn khi nhận được thông tin đầu vào cụ thể.
Logic vị từ, còn được gọi là logic bậc nhất, là một hệ thống logic chính thức cho phép hình thành các phát biểu hoặc vị từ về các đối tượng trong một miền.
Vị ngữ "P implies Q" được sử dụng trong các mệnh đề logic thiết lập mối quan hệ nhân quả hoặc hàm ý giữa các câu P và Q.
All matches