구조 (논리학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 형 -> 부호수. 형 이론의 type과의 혼동을 피하기 위함 |
Osteologia (토론 | 기여) |
||
34번째 줄:
* <math>M\models\text{'}\forall y\colon\phi(y)\text{'}[\vec a/\vec x]\iff\forall b\in M\colon M\models\phi[(\vec a,b)/(\vec x,y)]</math>
부호수 <math>\sigma</math>의 언어에서, <math>n</math>개의 자유 변수 <math>\vec x</math>를 갖는 명제 <math>\phi</math>에 대하여, 만약 <math>M\models\phi[\vec a/\vec x]</math>인 <math>\sigma</math>-구조 <math>M</math> 및 <math>\vec a\in M^n</math>이 존재한다면, <math>\phi</math>를 '''만족 가능 명제'''({{llang|en|satisfiable formula}})라고 한다.
부호수 <math>\sigma</math>의 언어에서, 자유 변수가 없는 명제들의 집합을 '''이론'''({{llang|theory}})이라고 한다. 이론 <math>\mathcal T</math>의 '''모형'''(模型, {{llang|en|model}})은 모든 <math>\phi\in\mathcal T</math>에 대하여 <math>M\models\phi</math>인 <math>\sigma</math>-구조 <math>M</math>이다.
== 참고 문헌 ==
| |||