아이디어 만들어진날 : 2005 .1 .25

[[TableOfContents]] 

==== 목적 ====
논리수학 스터디 정리

----

  * Implies 를 왜 쓰나?  2005. 1. 25
{{|
Implies 가정할때 쓰는것은 알겟는데, 이상하다.  상식적이지 않은 결과를 보이곤 하기 때문이다.  이런 상식적이지 않은 결과를 기본 연산으로 쓰는이유가 뭘까? 아무리 논리라고 하지만;;;

P-> Q
'''달이 치즈로 만들어 졌다면, 나는 덴마크 왕자다!'''
이런 말이 안되는(가정자체가 false)경우에 결과는 무조건 참이다. 
|}}
[[http://mathworld.wolfram.com/Implies.html|Implies from MathWorld]]
  * adequacy
{{|
~(p U q)  같은 connetive(Sheffer stroke) 는 그 하나만으로  모든 propositional formula 를 표현할 수 있다. -_-;  신기한 놈이다.
|}}

  * algebra는 무엇인가?

==== 관련서적 ====
  * Logic for mathematics and computer science by Stanley N. burris
  * 거울의나라의 앨리스
  ''다시 볼까나?''
==== 관련사이트 ====
  *