CES 영어사전

Prenex

발음 /ˈpɹi.nɛks/ · 품사 형용사 (adjective)

가장 먼저 보는 뜻

한국어 뜻

검증된 한국어 뜻을 준비 중입니다. 확인되지 않은 자동 번역은 표시하지 않습니다.

영어 정의

(mathematics, logic) Of a formula, having all of its quantifiers at the beginning..

의미별 영어 정의

(mathematics, logic) Of a formula, having all of its quantifiers at the beginning.
(mathematics, logic) The initial part of a prenex formula where all of the formula's bound variables are bound by logical quantifiers.

예문

"We say that #92;phi is universal iff it can be written in prenex form — i.e. with all quantifiers at the beginning — using only universal quantifiers."

∀x.∃y. is the prenex of the formula ∀x.∃y.P(x,y)

단어 변화형

prenexes

Prenex 사용 팁

prenex의 의미, 어조와 문법이 전체 문장에 맞을 때 사용하세요. 동의어라도 모든 문장에서 바로 바꿔 쓸 수 있는 것은 아닙니다.

이 단어 복습하기

자주 묻는 질문

prenex의 뜻은 무엇인가요?

현재 검증된 한국어 뜻은 준비 중이며 영어 정의는 “(mathematics, logic) Of a formula, having all of its quantifiers at the beginning.”입니다.

prenex의 동의어는 무엇인가요?

문장 속 의미에 따라 가까운 동의어가 달라집니다.

prenex의 반의어는 무엇인가요?

정확한 반대말은 사용된 의미에 따라 달라집니다.

prenex를 문장에서 어떻게 쓰나요?