수리논리학에서 프리넥스 표준형(prenex標準型, 영어: prenex normal form)은 모든 한정 기호가 앞에 와 있는 1차 논리 공식의 형태이다.
프리넥스 표준형인 1차 술어 논리 공식은 다음과 같은 형태의 공식 ϕ ϕ --> {\displaystyle \phi } 이다.
여기서
모든 1차 논리 공식은 프리넥스 표준형인 명제와 동치이며, 주어진 공식과 동치인 프리넥스 표준형 공식은 다음과 같이 찾을 수 있다. 편의상, 모든 논리합( ∨ ∨ --> {\displaystyle \lor } )이나 함의( ⟹ ⟹ --> {\displaystyle \implies } )를 논리곱( ∧ ∧ --> {\displaystyle \land } ) 및 부정( ¬ ¬ --> {\displaystyle \lnot } )으로 나타내자. 그렇다면 1차 논리 공식을 다음과 같이 변환시킨다.
프리넥스(영어: prenex)라는 단어는 라틴어: praenexus 프라이넥수스[*](묶인, 고정된)에서 왔다. 이 용어는 다비트 힐베르트와 파울 베르나이스의 1938년 저서 《수학의 기초》(영어: Grundlagen der Mathematik)에서 최초로 사용하였다.
Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!