일단, 향님은 초보적인 mathematical logic을 모르고 있습니다. 수학에 대해 좀더 precise하고 definite한 마인드를 가질려면, '집합론'이란
과목을 반드시 들으셔야 합니다. 쉽지 않은 과목이지만, 기초적인
Boolean logic과 그에 따른 수학에서 기초적인 정리들을 증명들을 다룹니다.니다. 공리, 정의, 정리와 proof method의 체계를 이해하실려면(that's exactly what mathematics is)반드시 들으셔야 합니다.
Let p and q be statements.
p --> q
T T T
T F F
F T T
F T F
그러면, p --> q 또한 명제가 됩니다.
p≡t if p is true in all logical possibilities.
If p --> q ≡t, then we denote it by p ⇒ q.
추신) By a statement we mean a delarative sentence that is either
true or false, but not both simultaneously. 즉 어떤 명제가 주어지면
그 명제의 참과 거짓을 명확하게 구분할 수 있고, 그 명제는 참 또는
거짓중 반드시 하나여야 합니다.
p≡q if p and q have the same truth table.
첫댓글 ㅡ.ㅡ영어다아아...;; 흠...대충 이해를 했습니다...시간이 난다면..ㅡ.ㅡ 한번공부를...이번에 대학 입학해가지고;; 과연할수있을련지;; 답변감사합니다..참..=_= 극한정의에대한 설명도..좀;;
≡ 이 기호가 무엇을 뜻하죠? 저 TTT 라는것도 이해가..ㅡㅡ;; 역시 책을 봐야하는건가요;;
책 열심히 파시고 나면 이해가 가시겠죠...^^
ㅡ.ㅡ...인생 3세판...3번 정독...후 문제까지풀어봤는데..(뭐 문제는 풀리더군요..)...ㅡ.ㅡ 저넘의 정의가 애매모호