술어 변수

수학 논리학에서, 술어 변수는 관계(용어 간)에 대한 자리 표시자 역할을 하지만 특별히 어떤 관계(또는 의미)도 할당되지 않은 술어 문자이다.술어 변수를 나타내기 위한 일반적인 기호로는 P$(\displaystyle$ P$),$ Q$(\displaystyle$ Q$$$),$ $(\displaystyle$ R$)$ $등$의 대문자와 x$(\displaystyle$ x$)$^[1] $등$의 공통 변수가 있습니다. 1차 로직에서는 메타언어학적 변수라고 할 수 있습니다.고차 논리학에서 술어 변수는 같은 논리의 잘 형성된 공식을 나타낼 수 있는 명제 변수에 대응하며, 이러한 변수는 (적어도) 2차 양자화자에 의해 정량화될 수 있다.

사용.

메타변수적 의미에서는 술어 변수를 사용하여 공리 스키마를 정의할 수 있습니다.술어 변수는 조건자 편지의 다른(독점)세트, 또는 정말로 담론의 도메인:내에 그들만의 특정 의미를 가지고 있는가 그들 자신의 기호로로 표시할 수 있술어 상수으로부터 나옵니다.), ∈, ≤,<>, ⊂.{\displaystyle =,\, ,\\leq ,\<>,\ \in 구별해야 한다고. \subset 입니다.

술어 상수뿐만 아니라 술어 변수에도 문자가 사용되는 경우 문자를 구별할 수 있는 방법이 있어야 합니다.예를 들어, 문자 W, X, Y, Z는 술어 변수를 나타내도록 지정할 수 있으며, 문자 A, B, C, ..., U, V는 술어 "상수"를 나타낼 수 있습니다.이러한 문자가 충분하지 않은 경우 X, X, X와 같이 해당 문자 뒤에 숫자₁ 첨자를₂ 추가할₃ 수 있습니다.그러나, 술어 변수가 술어 미적분의 어휘에 속한다고 인식되지 않는다면, 그들은 술어 메타 변수인 반면, 나머지 술어 문자는 그냥 "예언 문자"라고 불린다.따라서 메타 변수들은 공리 스키마타와 정리 스키마타(공리 스키마타에서 파생된)를 부호화하기 위해 사용되는 것으로 이해된다.

그"편지 술어"폴링 모드나 변수는 미묘한 점: 같은 의미로 배우들이 아니라 상수가=, ∈, ≤,<>, ⊂,{\displaystyle =,\, ,\ \subset\leq ,\<>,\ \in,}은 서술 상수, 또는 1,2,3,2, π, e{\displaystyle 1,\ 2,\ 3,\{\sqrt{2}},\\pi ,\ e\}이다.엔 숫자ical 상수.

또 다른 옵션은 그리스 소문자를 사용하여 이러한 메타 변수 가능한 술어를 나타내는 것입니다.그런 다음, 그러한 문자는 술어 미적분의 완전한 공식(wff)을 나타내기 위해 사용될 수 있다: wff의 자유 변수 항은 그리스 문자 술어의 항으로 통합될 수 있다.이것은 고차 로직을 작성하기 위한 첫 번째 단계입니다.

만약 "예약 변수"가 (인수가 없는) 0의 술어 문자에만 결합될 수 있다면, 그러한 문자는 명제를 나타내며, 그러한 명제 변수를 결합하기 위해 2차 수량자를 사용할 수 있는 모든 술어 논리는 2차 술어 계산이다.ulus 또는 2차 논리.

만약 술어 변수들이 단항적이거나 더 높은 아리티를 갖는 술어 문자에 결합하는 것이 허용된다면, 그리고 그러한 문자들이 명제 함수를 나타낼 때, 인수의 영역은 다른 명제의 범위에 매핑되고, 그러한 변수들이 그러한 명제의 집합에 수량자에 의해 결합될 수 있을 때, 재설정은t는 고차 술어 미적분 또는 고차 논리입니다.

「 」를 참조해 주세요.

• 함수 술어
• 명제 변수

레퍼런스

참고 문헌

• 루돌프 카르납과 윌리엄 H.마이어. 기호논리 입문 및 그 응용.도버 출판사(1958년 6월 1일).ISBN 0-486-60453-5