국가전거
주제명검색
주제정보 MARC보기 LOD
명제 연산[命題演算]
KSH2000027465용어범주주제어
관련 창작물0건
용어설명전산학의 많은 응용 분야에서 숫자의 배열이나 집합과 같은 단순한 자료 구조로는 표현하기 어렵거나 부자연스러운 묘사적 기술문을 데이터베이스에 저장하여 사용해야 할 경우에 정보를 표현하기 위하여 흔히 사용되는 형식 언어 1차 술어 연산. 1차 술어 연산의 구문은 술어 심벌, 변수 심벌, 상수 심벌, 괄호, 쉼표 등을 알파벳으로 하여 구성되는 원자식(atomic formula)들을 ∧(and), ∨(or), →(implication) 등의 연결자로 연결하여 합법 구성식을 구성하고, 이 합법 구성식들을 허용 가능한 문장으로 하여 정의된다. 이러한 문장들의 진위 여부는 각 심벌들에 부가되는 의미에 의해 정의된다. 명제 연산은 1차 술어 연산의 부분 집합으로서 변수가 문장에 등장하지 않는다. 이러한 명제 연산은 실제로 많은 간단한 영역(domain)에서는 유용한 표현 수단이 되고 있다.
용어관계※ 용어관계도는 PC화면에서 확인하시기 바랍니다. 용어 관계도
관계유형
동의어(1)
영어(1)
관련어(6)
관련어(6)
관계
관계주제어
관계 주제어
관계
관련어(RT)
제목
논리식[論理式]
관계
관련어(RT)
제목
명제(논리학)[命題]
관계
관련어(RT)
제목
명제 계산[命題計算]
관계
관련어(RT)
관계
관련어(RT)
제목
명제 변항[命題變項]
관계
관련어(RT)
제목
명제 정항[命題定項]
창작물
번호
제목
저자
발행년도
발행처
창작물
검색된 결과가 없습니다.
상세검색
용어 관계도
[상위어]
[주제어]
명제 연산[命題演算]
[동의어]
동의어 (UF)명제산[命題算]
영어 (ENG)propositional calculus
영어 (ENG)propositional calculus
[관련어]
논리식[論理式]
명제(논리학)[命題]
명제 계산[命題計算]
명제 논리학[命題論理學]
명제 변항[命題變項]
명제 정항[命題定項]
명제(논리학)[命題]
명제 계산[命題計算]
명제 논리학[命題論理學]
명제 변항[命題變項]
명제 정항[命題定項]
[하위어]
MARC 보기
담당부서 : 국가서지과 (02-590-6361)
