16
Đọc sách về thuật toán. Ai đó có thể giải thích ý nghĩa của ký hiệu toán học ∃?Ý nghĩa của ∃ là gì?
A
Trả lời
48
Nó được gọi là quantifier. Nó có nghĩa là "có tồn tại".
Khi được sử dụng trong một biểu thức như
∃x s.t. x > 0
Nó có nghĩa là "Có tồn tại một số x mà x lớn hơn 0."
Đối tác của nó là ∀, có nghĩa là "cho tất cả". Nó được sử dụng như thế này:
∀x, x > 0
Có nghĩa là "Đối với bất kỳ số nào x, nó lớn hơn 0"
+0
Tôi nghĩ đó là một cách khác ... Huh. Tìm hiểu điều gì đó mới mẻ mỗi ngày: http://en.wikipedia.org/wiki/%E2%88%83 – Kieveli
+8
Công cụ định lượng. Predicates là một cái gì đó khác nhau: http://en.wikipedia.org/wiki/Predicate_(mathematical_logic) – sdcvvc
+0
@sdcvvc: Righto! Đã một vài năm kể từ khi khóa học logic toán học của tôi. :) Tôi đã sửa câu trả lời. – Welbog
11
Đó là "định lượng hiện tại" thay vì ngược xuống A (∀) có nghĩa là "số lượng phổ dụng". Nó phải được đọc là "có tồn tại" hoặc "cho một số". Đó là một dự đoán có nghĩa là một số quan hệ hoặc thuộc tính giữ đúng đối với ít nhất một đối tượng trong miền.
Ví dụ:
Một số nguyên n là composit nếu ∃ nguyên m mà m > 1 và m < n với n chia m.
Một số nguyên n là số nguyên tố nếu ∀ nguyên m mà m > 1 và m < n đúng là n là không chia hết cho m.
Một chức năng f là liên tục trên một không gian metric (X, d) nếu ∀x∀ε>0∃δ>0 | ∀y d(x, y) < δ => d(f(x), f(y)) < ε
+0
Ồ không phải là epsilons và đồng bằng! Calculus 1 đang tràn ngập tôi. Tôi chỉ có bạn để đổ lỗi, Jason. – Welbog
+1
Ah, tôi đang đùa ai vậy? Tôi yêu Calculus 1. Đó là lý do tại sao tôi lấy Calculus 2 và Calculus 3! Cảm ơn vì chuyến đi xuống làn đường bộ nhớ. – Welbog
+0
Luân phiên giữa các định lượng tạo ra các công thức khó hiểu và khó xử lý theo thuật toán. Ví dụ, định nghĩa liên tục có mẫu ∀∃∀ (∀x∀y bị thiếu trong ví dụ). – starblue
2
More Info trên Predicate Logic
2
Nó được gọi là hiện sinh quantifier và bị theo dõi bởi x, nó có nghĩa có tồn tại ít nhất một x
1
Để tham khảo trong tương lai, wikipedia có table of mathematical symbols, với giải thích về (các) ý nghĩa của mỗi từ.
Các vấn đề liên quan
- 1. Ý nghĩa của Giao dịch là gì?
- 2. Ý nghĩa của id là gì?
- 3. Ý nghĩa của -532459699 là gì?
- 4. Android - ý nghĩa của StableID là gì?
- 5. Ý nghĩa của + trong CSS là gì?
- 6. Ý nghĩa của @_ trong Perl là gì?
- 7. Ý nghĩa của! #: 3 là gì?
- 8. Ý nghĩa của typedef này là gì?
- 9. Ý nghĩa của System.CLSCompliantAttribute là gì?
- 10. Ý nghĩa SQL của 0x5E5B7D7E là gì?
- 11. Ý nghĩa của tệp dylib là gì?
- 12. Ý nghĩa của "UseTaskFriendlySynchronizationContext" là gì?
- 13. ý nghĩa của "tóm lại" là gì
- 14. Ý nghĩa của '==' trong C là gì?
- 15. Ý nghĩa của $$ trong Ruby là gì?
- 16. Ý nghĩa của svg: svg là gì?
- 17. Ý nghĩa của /// trong JavaScript là gì?
- 18. Ý nghĩa của Y2K có ý nghĩa gì?
- 19. ý nghĩa của nội dung của/proc là gì/ioports
- 20. Ý nghĩa của `_t` của` size_t` trong C là gì?
- 21. Ý nghĩa của * args và ** kwargs là gì?
- 22. Ý nghĩa của XOR trong lắp ráp x86 là gì?
- 23. Ý nghĩa của 'char (* p) [5];' là gì?
- 24. Ý nghĩa của biểu thức "+ + a" là gì?
- 25. Ý nghĩa của GFP trong cờ kmalloc là gì?
- 26. writeToFile: nguyên tử: ý nghĩa của nguyên tử là gì?
- 27. Ý nghĩa của i.to_s trong Ruby là gì?
- 28. Ý nghĩa của char zero (0) trong Java là gì?
- 29. Ý nghĩa của NULL! = Giá trị trong C++ là gì?
- 30. ASP.NET ý nghĩa của AutoEventWireup và Inherits là gì?
ngày ol 'tốt' của Toán 300 –
Cấu trúc rời rạc trong phiên họp mùa đông? Ouch. –
Thuộc về MathOverflow http://mathoverflow.net/ –