알고리즘에 대해 읽고 있는데 (A *를 기반으로하는 경로 찾기 알고리즘), 익숙하지 않은 수학 기호가 포함되어 있습니다 .∀
컨텍스트는 다음과 같습니다.
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s 시작
누군가 ∀의 의미를 설명 할 수 있습니까?
답변:
위키피디아의 수학 기호 표 또는 유니 코드 forall 문자 ( \u2200, ∀) 에서 볼 수있는 "forall"(모두) 기호 입니다.
거꾸로 된 A 기호는 술어 논리 의 범용 수량 자 입니다 . (또한 1 차 술어 미적분에 대한보다 완전한 논의를 참조하십시오 .) 다른 사람들이 언급했듯이, 명시된 주장이 주어진 변수 (여기서는 s ) 의 "모든 인스턴스에 대해"를 유지한다는 것을 의미합니다 . 곧 그 형제 인 역대 문자 E 를 만나게 될 것 입니다. 이것은 실존 적 수량 자입니다 . 이것은 관련 주장에 부합하는 주어진 변수의 "적어도 하나가 존재합니다"를 의미합니다.
논리에 관심이 있다면 CJ Date 의 Logic and Databases : The Roots of Relational Theory 라는 책을 즐길 수 있습니다 . 이러한 수량 자와 논리적 의미를 다루는 여러 장이 있습니다. 이 책의 논리 범위를 활용하기 위해 데이터베이스로 작업 할 필요는 없습니다.
수학에서 ∀은 FOR ALL을 의미합니다.
유니 코드 문자 (\ u2200, ∀).
예, 이것들은 수학에서 사용되는 잘 알려진 수량 자입니다. 또 다른 예는 "exists"로 읽는 ∃입니다.