Types of Proof
direct proof
Prove α → β by:assume α is true use this to derive β.
indirect proof
a proof that is not direct;
includes:
proof by contraposition
proof by contradiction
proof by contraposition
prove α → β by: prove ¬β → ¬α
proof by contradiction
prove α by: assume ¬α show this is impossible
要写原因:
标签：--,笔记,离散数学,assume,leeds,proof From： https://www.cnblogs.com/Lamboofhome/p/16974249.html