*오르가논(=생각의 연장들/도구들, organon)(=오르가눔, organum) - 차근차근 이끌기를 할 때 우리가 쓸 수 있는 규칙들 기본 추론규칙 이고 넣기, 이고 없애기, 이거나 넣기, 이거나 없애기, 이면 넣기, 이면 없애기, 거짓이다 넣기, 거짓이다 없애기 파생 추론규칙 뒤로 이면 없애기, 이면 잇기, 이러나저러나 달리 쓰기 규칙 이고 되풀이, 이거나 되풀이, 이고 앞뒤 바꿈, 이거나 앞뒤 바꿈, 이고 새로 모음, 이거나 새로 모음, 이고 나눔, 이거나 나눔, 이고 모아 거짓이다, 이거나 모아 거짓이다 등 *오르가논을 사용한 증명 - 자연어 증명 1. ‘중력자는 렙톤이거나 파동이다’는 거짓이다. 2. 중력자는 존재하지 않거나, ‘중력자는 질량을 갖지 않고 빛만큼 빠르다.’ 3. 만일 중력자가 존..
