논리식: 두 판 사이의 차이

[[논리학]]에서, '''논리식'''(論理式, {{llang|en|formula}}) 또는 '''정형 논리식'''(整型論理式, {{llang|en|well-formed formula}}, 약자 WFF)은 어떤 논리 체계의 언어 속 기호들로 구성된 유한 [[문자열]] 가운데, 합법적인 ‘명제’로 여길 수 있는 것들이다. [[명제 논리]]나 [[술어 논리]]에서, 논리식은 원자 명제와 논리 연산을 통해 재귀적으로 구성되며, [[공리]]와 [[추론 규칙]]으로부터 다른 논리식들을 유도하는 증명에 참여한다. 이론의 [[모형 (논리학)|모형]] 속에서 각 논리식은 그 모형에서의 구체적인 명제로 해석되어 참과 거짓 여부를 부여받는다.