목차
동치
수학과 논리학에서 동치(同値)란 두 문장이 논리적으로 같다는 것을 의미.
보다 논리적 귀결와 동치
귀납
납 추론(歸納推論)은 1620년에 프랜시스 베이컨이 창안한 추론 방법이.
보다 논리적 귀결와 귀납
힘에 호소
힘에 호소 (argumentum ad baculum, appeal to force)는 힘이나 강제로 논리적 귀결을 정당화하는 논증.
페아노 공리계
수리논리학에서.
사상 (수학)
수학에서 사상(寫像)은 수학적 구조를 보존하는 함수의 개념을 추상화한 것이.