항 (논리학)

위키백과, 우리 모두의 백과사전.
(항 (논리)에서 넘어옴)
이동: 둘러보기, 검색

수리논리학재작성 시스템에서, (項, 영어: term)은 논리식을 이루는 각각의 수학적 대상들이다. 상수와 변수, 그리고 그들에 대한 함수 연산을 바탕으로 하여 재귀적으로 정의된다. 각 항은 술어 또는 함수 연산에 감싸이거나 연결자로 인해 연결되어 논리식을 구성한다.

같이 보기[편집]