본문바로가기
명제^계산 편집하기 편집 금지 요청
분야
『수학』
「001」몇 가지 명제가 얽힌 복합 명제의 진위 판정에 쓰는 이론적인 계산. 명제를 문자로 나타내어, 논리 기호로 이들의 문자를 결합한 것을 마치 대수식처럼 간주하고 계산한다.

관련 어휘

비슷한말
명제-산(命題算)

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

+
-
위로