게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

문제2 질문

 
글 쓰기   답변 달기     게시판 인덱스 -> 046.016 Computational Civilization (Spring 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
강동옥



가입: 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)의 경우도 말이 됩니다.
비가 올때 바깥에 나간다는게 사실일때 춥다는게 사실이면
비가 오고 바깥에 나가면 춥다.

이 두 관계때문에 둘이 같다고 오해하신건 아닌지 모르겠습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 046.016 Computational Civilization (Spring 2014) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay