[04] 이산수학(추론)

주제 : 추론

---

증명 : 수학적 진술의 참을 입증하는 유효(valid)한 논증

유효하다 : 전제가 참이고(and) 결론이 참일 때 유효하다고 한다.

 

추론 규칙 : 수학적 진술의 참을 입증하는 도구

항진명제 : 항상 참인 명제

---

추론 규칙 :

• 긍정 논법
• 부정 논법
• 가설적 삼단논법
• 논리합 삼단논법
• 가산 논법
• 단순화 논법
• 논리곱 논법
• 융해법

추론 규칙

페이지 9 연습_어려움

 

증명의 오류: 

• 결론 단언의 오류 : 결론을 먼저 꺼내는 것
• 가정 부정의 오류 : 결론을 부정하는 것

---

한정 기호 사용

전칭 예시화 : 정의역에 속하는 임의의 원소 c에 대하여 P(c)가 참이라 하는 것

전칭 일반화 : 특정 요소 c에 대해 P(c)가 참이라면 ∃xP(x)가 참이라 하는 것