프레게 흐름: 고전 논리학의 그래프 이론적 표현

프레게 흐름은 고전 논리학을 그래프 이론적으로 표현하여 간단한 연역적 명제의 증명 가능성을 보여줄 수 있다.