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

인용 틀 이름 수정 using AWB
내용 삭제됨 내용 추가됨
잔글편집 요약 없음
Namobot (토론 | 기여)
인용 틀 이름 수정 using AWB
27번째 줄:
* 공식 <math>\phi</math> 및 <math>\psi</math>에 대하여, <math>\phi\land\psi</math>는 공식이다.
* 변수 <math>x_i</math> 및 공식 <math>\phi</math>에 대하여, 만약 <math>\phi</math>가 이미 <math>\forall x_i\colon</math>를 포함하지 않는다면, <math>\forall x_i\colon\phi</math>는 공식이다.
만약 <math>\phi</math> 속에 변수 <math>x_i</math>가 등장하지만 <math>\forall x_i\colon</math>가 등장하지 않는다면, <math>x_i</math>를 '''자유 변수'''({{llang|en|free variable}})라고 하고, <math>\forall x_i\colon</math>가 등장한다면 <math>x_i</math>를 '''제한 변수'''({{llang|en|bound variable}})라고 한다. 자유 변수가 없는 공식을 '''문장'''({{llang|en|sentence}})이라고 한다. 문장들의 집합을 '''이론'''(理論, {{llang|en|theory}})이라고 한다.
 
== 만족 ==
41번째 줄:
 
== 참고 문헌 ==
* {{서적 인용 | last=Marker | first=David | title=Model theory: an introduction | publisher=Springer | isbn=978-0-387-98760-6 | 날짜=2002 | doi = 10.1007/b98860 | isbn = 978-0-387-98760-6 |총서=Graduate Texts in Mathematics|권=217|issn=0072-5285|zbl=1003.03034|언어고리=en}}
* {{서적 인용 | last=Poizat | first=Bruno | title=A course in model theory: an introduction to contemporary mathematical logic | publisher=Springer | isbn=978-0-387-98655-5 | 날짜=2000 | 총서=Universitext|기타=Moses Klein 역|isbn= 978-1-4612-6446-0|doi=10.1007/978-1-4419-8622-1|issn=0172-5939|zbl=0951.03002|언어고리=en}}
 
== 바깥 고리 ==

편집

32,875