welcome!

사실은...기호논리학의 또 다른 거장, 버트런드 러셀Bertrand Russell와 화이트 헤드Whitehead는 그들의 공동 저서 수학원리principia mathematica에서 세상의 수학들을 기호논리로 다루려고 노력했습니다. 그들은 수학원리에서 다음과 같이 기호논리를 사용합니다.논리곱logical product은 . 로 표현했습니다. 따라서 p.q는 "p and q"를 뜻합니다. 그러나 때로 .는 괄호parentheses를 표현하기도 하는데요. 다음의 명제를 봅시다.⊦ :p∨q.⊃.q∨p우선, ⊦ 는 다음이 반드시 참이라고 주장하는 것입니다. 이는 정리theorem 이거나 공리axiom일 수 있습니다. 그리고 :는 . 보다 한 단계 더 높은 중괄호라고 봅니다. ⊦ [p∨q.⊃.q∨p]⊦ 이후의 콜..

읽어도 되고 안 읽어도 되는 부분 : 실수 체계를 먼저 다루어야할지, 논리기호를 먼저 다뤄야할지 고민이 많이 되었습니다. 한 시간 가까운 고민 끝에 결국 명제논리 술어논리 등을 먼저 다루기로 결심했습니다. 무엇을 선택하든 당장 배울 입장에서는어디까지나 선택의 문제이겠지만, 역시 논리학을 우선적으로 다뤄야 실수체계를 후에 배우더라도 가깝게 느끼지 않을까 생각했습니다. 우선 논리학을 다룰 예정입니다. 그 뒤 실수 체계까지 건들 수 있는 수준이 되면 그때 건드려도 늦지 않겠다 생각이 들었습니다. 사실 저도 확신하지는 못하지만, 우선은 실수체계와 같이 이 포스팅을 읽기 전에 필요한 기초들을 독자들이 직관적인 수준만 충족하기를 기대합니다. 그러니까, 우선은 알고 계신 직관적인 실수체계를 그대로 들고 있어달라는 이..