선택의 axiom에서 ∀와 ∃ 기호는 무엇을 의미합니까?
-
28-09-2020 - |
해결책
기호는 정량화입니다.그들은 새 변수 이름을 기호 논리 명령문에 바인딩합니다.❏ 존재하므로 읽습니다.✔ 모든 것을 읽으십시오. 명령문의 첫 번째 부분은 다음과 같이 읽습니다.
FORALL X (유형 σ의), y (유형 τ)가 존재합니다 ...
다른 팁
$ \ 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,여기에 중요한 중요성이 아닙니다.
제휴하지 않습니다 cs.stackexchange