논리도해 도움말

진리표 프로그램의 사용법을 익힌 다음 사용하십시오.   [돌아가기]

테스트 드라이브

논리도해의 기초 이론

앨리스는 여왕이 아니다. 2가지 증명.

2개의 가설: {여왕은 성을 가지고 있다. 앨리스는 성을 가지고 있지 않다.}로부터 결론 "앨리스는 여왕이 아니다."를 도출하겠습니다. 결론의 부정을 가설로 삼아 3개의 논리식으로부터 출발하여 아래와 같이 논리도해를 구성합니다. 이 논리도해는 총 3개의 가지가 있는데, 각각의 가지에 x표 되었으므로 라인 1,2,3의 집합은 만족불가능임이 증명되었습니다.

위의 논리도해는 터뜨리기만 3번 사용하여 작성하였습니다. 이제 아래의 논리도해를 봅시다. 이 논리도해는 터뜨리기 2번, 그리고 추론을 1번 사용하였습니다.

논리도해 프로그램 사용법

[돌아가기]