구조 (논리학): 두 판 사이의 차이

13 바이트 추가됨 ,  9년 전
편집 요약 없음
내용 삭제됨 내용 추가됨
편집 요약 없음
18번째 줄:
 
== 언어 ==
부호수 <math>(F,R,\operatorname{arity}_F,\operatorname{arity}_R)</math>의 ([[1차 논리]]) '''언어'''(言語, {{llang|en|language}}) <math>\mathcal L</math>는 '''공식'''(公式, {{llang|en|formula}})과 '''항'''(項, {{llang|en|term}})으로 구성된다. <math>\mathcal L</math>의 '''항'''은 다음과 같이 재귀적으로 정의된다.
* 변수 <math>x_i</math>는 항이다 (<math>i\in\mathbb N</math>).
* 항 <math>t_1,\dots,t_n</math> 및 <math>n</math>항 연산 <math>f\in F</math>에 대하여, <math>f(t_1,\dots,t_n)</math>은 항이다.