논리식

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

논리학에서 정형 논리식(整型論理式, 영어: well-formed formula, 약자 WFF, wff) 또는 간단히 논리식(論理式, 영어: formula)이란, 주어진 문자들로부터 나온 기호의 유한한 조합(열)으로, 형식 언어의 일종이다. 논리식은 해석이라는 수단을 통하여 의미론적(semantic) 의미가 주어질 수 있는 구문론적(syntactic) 대상이다.

논리식의 가장 유명한 용례는 명제 논리술어 논리에서의 쓰임이라 할 수 있다. 특히 명제논리에서 논리 변수들과 논리 연산자(불 대수의 연산자들)의 조합으로 나타나는데, 모든 논리식은 전개나 분해가 가능하고, 간략화를 통해 정규형으로 표현될 수 있다. 또한 형식 논리학에서 증명은 논리식들의 나열로 표현될 수 있으며, 이는 특정 형식적 규칙에 따르는 것으로 나열의 마지막에 오는 논리식이 그 증명의 결과가 된다.