논리식: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 잼폰 |
Raccoon Dog (토론 | 기여) |
||
1번째 줄:
[[논리학]]에서 '''정형 논리식'''(整型論理式, {{llang|en|well-formed formula}}, 약자 {{lang|en|WFF}}, {{lang|en|wff}}) 또는 간단히 '''논리식'''(論理式, {{llang|en|formula}})이란, 주어진 문자들로부터 나온 기호의 유한한 조합(열)으로, [[형식 언어]]의 일종이다. 논리식은 해석이라는 수단을 통하여 의미론적(semantic) 의미가 주어질 수 있는 구문론적(syntactic) 대상이다.
논리식의 가장 유명한 용례는 [[명제 논리]]와 [[술어 논리]]에서의 쓰임이라 할 수 있다. 특히 명제논리에서 논리 변수들과 논리 연산자([[불 대수]]의 연산자들)의 조합으로 나타나는데, 모든 논리식은 전개나 분해가 가능하고, 간략화를 통해 [[정규형]]으로 표현될 수 있다. 또한 형식 논리학에서 [[증명]]은 논리식들의 나열로 표현될 수 있으며, 이는 특정 형식적 규칙에 따르는 것으로 나열의 마지막에 오는 논리식이 그 증명의 결과가 된다.
{{토막글|수학}}
[[분류:불 대수]]
| |||