목록증명볍#직접증명법#간접증명법#모순증명법#대우증명법 (1)

from palette import colorful_colors

[이산수학] 증명법(proof method)

1. Proof method (증명법) 1-1. Direcct proof(직접증명법) p → q 성질 이용, 순서대로 증명한다. p True, q True ∴ p → q is True 1-2. Indirect proof(간접증명법) - 대우증명법, 모순증명법 2가지 존재 proof by contraposition(대우증명법) 대우의 성질을 이용한다. (p → q가 True면 ¬q → ¬p 도 True) ¬q true , ¬p true ∴ p → q is True proof by contradiction(모순증명법) - 귀류법으로도 불린다. ¬p를 먼저 가정하고, ¬p가 일어나지 않음을 증명해서, 따라서 p → q 가 True임을 증명한다. 대표적인 예시인 √2 가 무리수임을 이용해 보이기: irratio..
CS 학부과목/이산수학 2023. 1. 31. 21:37
이전 Prev 1 Next 다음