이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년4월6일 13:32 주제: 문제2 질문 |
|
|
추론 기계에서 A⇒(B⇒C)랑 (A⇒B)⇒C 랑 같은 건가요? 아니면 다른 건가요?
결과는 같게 나오던데 같다고 볼 수 있는 건지 궁금합니다... |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년4월6일 13:38 주제: |
|
|
인용: | 추론 기계에서 A⇒(B⇒C)랑 (A⇒B)⇒C 랑 같은 건가요? 아니면 다른 건가요?
결과는 같게 나오던데 같다고 볼 수 있는 건지 궁금합니다... |
두개가 같다는 법칙은 없습니다.
제가 보기에는 두개가 같지 않아보이는데요?
A:비가 온다. B:밖에 나간다. C: 춥다.
A->(B->C)
비가 오면 바깥에 나갈때 춥다는게 사실이다.
(A->B)->C
비가 올때 바깥에 나간다는게 사실이면 춥다.
((A->B)->C) -> (A->(B->C)) 는 성립함을 증명할수 있지만
(A->(B->C)) -> ((A->B)->C) 는 증명할수 없습니다.
A->(B->C) -> (A/\B ->C)의 경우는 말이 됩니다.
비가 오면 바깥에 나갈때 춥다는게 사실이면
비가 오고 바깥에 나가면 춥다.
((A->B)->C) -> (A/\B ->C)의 경우도 말이 됩니다.
비가 올때 바깥에 나간다는게 사실일때 춥다는게 사실이면
비가 오고 바깥에 나가면 춥다.
이 두 관계때문에 둘이 같다고 오해하신건 아닌지 모르겠습니다. |
|
위로 |
|
|
|