선택의 axiom에서 ∀와 ∃ 기호는 무엇을 의미합니까?

Question

axiom 선택의 명령문이 주어집니다.

$ (\ forall x ^ σ) (\ yeares y \ tau) r (x, y) \ 권투 (\ insiss f ^ {\ sigma \ nightarrow \ tau)}) (\ forall x ^ \ sigma) r (x, f (x)) $

대부분의 대부분은 180도 회전 된 'e'와 'a'

처럼 보이는 기호의 의미를 제외하고는 상당히 간단합니다.

Answer 1

기호는 정량화입니다.그들은 새 변수 이름을 기호 논리 명령문에 바인딩합니다.❏ 존재하므로 읽습니다.✔ 모든 것을 읽으십시오. 명령문의 첫 번째 부분은 다음과 같이 읽습니다.

FORALL X (유형 σ의), y (유형 τ)가 존재합니다 ...

Answer 2

$ \ forall $ 은 "모두에 대한"읽기 "와 $ \가 존재합니다 $ 은"존재". 그래서, 영어로 우리는

$$ \ text { "if} \ undrebrace {\ text {모든 $ x $}} _ {\ forall x ^ \ sigma} \ text {} \ underbrace {\ text {$ y $}}} _ {\ \ tau} \ text {$ r (x, y) $,} \ underbrace {\ text {then}} _ \ to \ text {} \{\ sigma \ to \ tau} {\ sigma \ to \ tau} {\ \ text {모든 $ x $}} _ {\ forall x ^ \ sigma} \ text {$ r (x, f (x)) $ ".} $$

$ \ sigma $ 및 $ \ tau $ superscripts,여기에 중요한 중요성이 아닙니다.