조건증명과 간접증명 (가정, 전제, 증명)

소개글

조건증명과 간접증명 (가정, 전제, 증명)에 대한 보고서 자료입니다.

본문내용

조건증명과 간접증명

진리표에 의해서 타당하게 증명될 수 있는 논증 전부가 추리 규칙들에 의해서 타당하게 증명될 수 있는 것은 아니다. 조건 증명의 규칙을추가함으로써 연역 증명 체계는 완성된다. 조건 증명은 진리표에 의해서 타당하게 증명될 수 있는 모든 논증의 타당성을 증명할 수 있도록체계를 만든다.

조건 증명의 규칙은 결론이 조건언으로 되어 있는 진술에만 적용될수 있다. 가정된 전제로부터 도출된 단계들은 그 가정의 범위 내에 있다. 조건 증명의 규칙이 시작되고 가정의 범위가 끝났을 때 그 가정은방출된다.

키워드

조건,   조건증명,   간접증명,   증명,   가정,   전제,   조건증명과 간접증명