증명 수학적 진술의 참을 입증하는 유효한 논증 논증이란 하나의 결론으로 끝나는 일련의 진술 결론이 전제들의 참 값으로부터 유도될 수 있을 때 유효하다고 표현한다. 논증이 유효하다 그 논증의 모든 전제가 참이면서, 동시에 결론이 거짓일 수 없다. 추론 규칙 기존의 진술들로부터 새로운 진술을 도출하기 위해 유효한 논증을 구성하는 틀 수학적 진술의 참을 입증하는 기본도구 유효한 논증 논증이란, 명제들을 순차적으로 나열한 것이다. 명제 논리에서 논증식이란, 명제 변수를 사용한 복합명제의 순열이다. 전제에서 나와있는 어떤 명제든 명제 변수로 치환하고, 그 전제가 모두 참일 때 결론이 참이면 그 논증식은 유효하다고 한다. 논증을 분석하기 위해 명제를 명제 변수로 치환하는 것은 논증을 논증식으로 변환한 것 (논증식이..