논리식: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Raccoon Dog (토론 | 기여) |
편집 요약 없음 |
||
2번째 줄:
논리식의 가장 유명한 용례는 [[명제 논리]]와 [[술어 논리]]에서의 쓰임이라 할 수 있다. 특히 명제논리에서 논리 변수들과 논리 연산자([[불 대수]]의 연산자들)의 조합으로 나타나는데, 모든 논리식은 전개나 분해가 가능하고, 간략화를 통해 [[정규형]]으로 표현될 수 있다. 또한 형식 논리학에서 [[증명]]은 논리식들의 나열로 표현될 수 있으며, 이는 특정 형식적 규칙에 따르는 것으로 나열의 마지막에 오는 논리식이 그 증명의 결과가 된다.
==컴퓨터과학==
컴퓨터과학에서 논리식(論理式)은 [[논리 연산]]을 나타내는 기호를 사용하여 논리 변수를 조합한 수식 또는 회로를 가리킨다. 한편 완전논리식(完全論理式)은 논리적이거나 수학적인 형식 체계에서 일정한 구문에 따라 대상을 기술하는 방법으로 정합논리식 또는 정형논리식이라고도 한다.
==함께보기==
*[[제어문]]
==참고==
{{각주}}
{{토막글|수학}}
[[분류:불 대수]]
[[분류:컴퓨터 과학]]
| |||