Ký hiệu lạ trong thuật toán: ∀ có nghĩa là gì? [đóng cửa]

Tôi đang đọc về một thuật toán (đó là thuật toán tìm đường dựa trên A *) và nó chứa một ký hiệu toán học mà tôi không quen: ∀

Đây là bối cảnh:

v (s) ≥ g (s) = min _{s'∈pred (s)} (v (s ') + c (s', s)) ∀s ≠ s _{bắt đầu}

Ai đó có thể giải thích ý nghĩa của ∀?

Đó là ký hiệu "forall" (cho tất cả), như được thấy trong bảng ký hiệu toán học của Wikipedia hoặc ký tự forall Unicode ( \u2200, ∀).

Biểu tượng lộn ngược Một biểu tượng là bộ định lượng phổ quát từ logic vị từ . (Cũng xem phần thảo luận đầy đủ hơn về phép tính vị từ bậc nhất .) Như những người khác đã lưu ý, điều đó có nghĩa là các khẳng định đã nêu giữ "cho mọi trường hợp" của biến đã cho (tại đây, s ). Bạn sẽ sớm gặp phải người anh em của nó, chữ E viết hoa ngược , là định lượng hiện sinh , có nghĩa là "tồn tại ít nhất một" trong số biến đã cho phù hợp với khẳng định liên quan.

Nếu bạn quan tâm đến logic, bạn có thể thích cuốn sách Logic và Cơ sở dữ liệu: Nguồn gốc của Lý thuyết quan hệ của CJ Date. Có một số chương trình bày về các định lượng này và ý nghĩa logic của chúng. Bạn không cần phải làm việc với cơ sở dữ liệu để được hưởng lợi từ phạm vi logic của cuốn sách này.

Trong toán học, ∀ có nghĩa là CHO TẤT CẢ.

Ký tự Unicode (\ u2200, ∀).

Có thể đọc, "Đối với tất cả các s sao cho s không bằng s [bắt đầu]"

vâng, đây là những định lượng nổi tiếng được sử dụng trong toán học. Một ví dụ khác là ∃ đọc là "tồn tại".

http://en.wikipedia.org/wiki/Quantification