그리고 참인 명제임

오로지 논리학에서 쓰이는 기호만으로 컴퓨터 프로그램을 똑같이 구현하고, 반대로 논리기호로 표현된 명제를 컴퓨터 프로그램으로 변환하는 것도 가능함


프로그래밍은 본질적으로 논리학임