Saya membaca tentang algoritme (ini adalah algoritme pencarian jalur berdasarkan A *), dan algoritme tersebut berisi simbol matematika yang tidak saya kenal: ∀
Inilah konteksnya:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s mulai
Bisakah seseorang menjelaskan arti dari?
Jawaban:
Itu adalah simbol "untuk semua" (untuk semua), seperti yang terlihat di tabel simbol matematika Wikipedia atau karakter Unicode untuk semua ( \u2200, ∀).
Simbol A terbalik adalah pembilang universal dari logika predikat . (Juga lihat pembahasan yang lebih lengkap tentang kalkulus predikat orde pertama .) Seperti yang dicatat orang lain, itu berarti pernyataan yang dinyatakan berlaku "untuk semua contoh" dari variabel yang diberikan (di sini, s ). Anda akan segera menemukan saudara kandungnya, huruf kapital mundur E , yang merupakan pembilang eksistensial , yang berarti "ada setidaknya satu" dari variabel tertentu yang sesuai dengan pernyataan terkait.
Jika Anda tertarik dengan logika, Anda dapat menikmati buku Logic and Databases: The Roots of Relational Theory oleh CJ Date. Ada beberapa bab yang membahas bilangan ini dan implikasi logisnya. Anda tidak harus bekerja dengan database untuk mendapatkan manfaat dari liputan logika buku ini.
Dalam matematika, ∀ artinya UNTUK SEMUA.
Karakter unicode (\ u2200, ∀).
ya, ini adalah bilangan yang terkenal digunakan dalam matematika. Contoh lainnya adalah ∃ yang dibaca "ada".