본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
일단계^술어^논리 편집하기 편집 금지 요청
분야
『정보·통신』
「001」프롤로그 언어에서 사용되는 명제의 변수에 관해 가정할 수 있는 논리의 형태. 한정 기호를 사용하며, 완전성 정리가 성립한다.

관련 어휘

비슷한말
일계^술어^논리(一階述語論理), 일차^술어^논리(一次述語論理)

대역어

영어
first-order predicate logic

어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기

+
-
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로