본문바로가기
한계^술어^논리 편집하기 편집 금지 요청
분야
『정보·통신』
「001」명제 논리를 정의하는 다섯 개의 논리 기호에 추가하여 한정 기호를 포함시킨 기호 논리.

대역어

영어
predicate logic of first order
위로