수리 논리학: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
66번째 줄:
|}
 
기호논리학은 복잡한 자연언어의 문장들로 구성된 추론들로부터 기호화된 [[추론 형식]]을 적용함으로써 타당성 검증이 가능하게한다가능하게 한다.
 
== 같이 보기 ==