∃의 의미는 무엇입니까?

알고리즘에 관한 책 읽기. 누군가가 수학 기호 ∃의 의미를 설명 할 수 있습니까?∃의 의미는 무엇입니까?

2009-12-23 Yada

좋은 수학 일 300 –

동절기의 이산 구조는? 아야. –

MathOverflow에 속한 언어입니다. –

quantifier이라고합니다. 그것은 "존재한다"는 의미입니다.

같은 뜻

∃x s.t. x > 0

같은 식에 사용

는 "x가 0보다 큰 것이보다 x 같은 다수 존재한다"

해당 항목은 ∀, "모두"를 의미합니다. 그것은 다음과 같이 사용되는 :

의미

∀x, x > 0

"어떤 수 x를 들어, 0보다 큰 것입니다"

2009-12-23 14:57:21 Welbog

나는 그것이 다른 길 주위에 있다고 생각했다. .. 허. 매일 새로운 것을 배워보세요 : http://en.wikipedia.org/wiki/%E2%88%83 – Kieveli

한정어. 술어는 다른 것이 있습니다. http://en.wikipedia.org/wiki/Predicate_(mathematical_logic) – sdcvvc

@sdcvvc : Righto! 수학 논리 과정이 끝난 지 몇 년이 지났습니다. :) 나는 그 해답을 바로 잡았다. – Welbog

"보편적 인 한정어"를 의미하는 것은 반전 된 A (∀)과 반대되는 "실존 한정사"입니다. "존재한다"또는 "일부 존재한다"로 읽어야합니다. 이는 도메인의 적어도 하나의 객체에 대해 어떤 관계 또는 속성이 유효 함을 의미하는 술어입니다.

예 :

정수 n 복합 경우 ∃ 정수 m되도록 m > 1 및 m로 나누어 n와 m < n. ∀ 정수 m 등이 m > 1 및 m < n이 n이 m로 나누어없는 것이 사실 인 경우

정수 n 프라임입니다.

함수 f는 거리 공간에 연속 (X, d) 경우 ∀x∀ε>0∃δ>0 | ∀y d(x, y) < δ => d(f(x), f(y)) < ε

2009-12-23 14:59:15 jason

오, 아니 엡실론과 델타! 미적분 1이 지금 내게 다시 넘치고있어. 내가 너를 비난 할 뿐이야, 제이슨. – Welbog

아, 내가 농담하는거야? 나는 미적분 1을 좋아했습니다. 그래서 미적분 2와 미적분 3을 가져갔습니다! 그 차를 타고 추억의 차선을 찾아 주셔서 감사합니다. – Welbog

수량 한정자를 번갈아 사용하면 알고리즘을 이해하기 어렵고 처리하기 어려운 수식이 생성됩니다. 예를 들어, 연속성의 정의는 ∀∃∀ 패턴을 가지고 있습니다 (예에서 ∀x∀y가 누락되었습니다). – starblue

추가 정보 그것은 존재 한정사이라고하고 X이어서되는 Predicate Logic

2009-12-23 15:00:43 Matt

그것이 적어도 하나의 X가 존재 수단에

2009-12-23 15:06:30 psihodelia

나중에 참조 할 수 있도록 wikipedia는 table of mathematical symbols이며 각각의 의미에 대한 설명이 나와 있습니다.

2009-12-24 14:29:37

답변