술어 논리(Predicate Logic)
정보관리기술사 제122회 1교시 12번 문항으로, 과목은 SW공학/프로젝트관리입니다.
원문 문제
정보관리기술사 제122회 12번. 술어 논리(Predicate Logic)
핵심 키워드
- 술어 논리
- 1계 논리
- 정량자
- 논리 연산자
- 명제 함수
- 형식 명세
고득점 가이드 — 1. 개요
술어 논리(Predicate Logic) 는 명제 논리를 확장하여 개체(Entity) 와 그 속성·관계를 변수와 정량자로 형식 기술할 수 있도록 한 형식 논리 체계이다. 변수가 1단계 개체만 허용되는 1계 논리(First-Order Logic) 가 가장 널리 사용되며, 소프트웨어 형식 명세·정리 증명·Prolog 등 논리형 언어의 의미 기반이 된다.
출제 이력
- 술어 논리기출 1문항
- 1계 논리기출 1문항
- 정량자기출 1문항
- 논리 연산자기출 1문항
- 명제 함수기출 1문항
- 형식 명세기출 1문항
다른 회차에서 같은 키워드가 나온 문항이 아직 없어요.