Bocheński introduced a system of Polish notation that names all 16 binary connectives of classical propositional logic.
Bocheński는 고전적 명제 논리의 16가지 이진 연결 요소를 모두 지칭하는 호환되지 않는 폴란드 표기법을 도입했다.