논리수학 스터디 정리

• Implies 를 왜 쓰나? 2005. 1. 25

Implies 가정할때 쓰는것은 알겟는데, 이상하다. 상식적이지 않은 결과를 보이곤 하기 때문이다. 이런 상식적이지 않은 결과를 기본 연산으로 쓰는이유가 뭘까? 아무리 논리라고 하지만;;; P-> Q '''달이 치즈로 만들어 졌다면, 나는 덴마크 왕자다!''' 이런 말이 안되는(가정자체가 false)경우에 결과는 무조건 참이다. | Implies from MathWorld

• adequacy

~(p U q) 같은 connetive(Sheffer stroke) 는 그 하나만으로 모든 propositional formula 를 표현할 수 있다. -_-; 신기한 놈이다. |

• algebra는 무엇인가?

• Logic for mathematics and computer science by Stanley N. burris
• 거울의나라의 앨리스

다시 볼까나?