tomit4/discrete_mathematics_with_applications
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

🚧 Almost fin with 4.7

Browse source
This commit is contained in:
tomit4 2026-06-12 07:51:52 -07:00
parent 85c05e3dde
commit ba49946636
2 changed files with 982 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

979
chapter_4/exercises.md
View file

File diff suppressed because it is too large Load diff

6
chapter_4/test_yourself.md
View file

@ -210,10 +210,16 @@ Page 248
1. To prove a statement by contradiction, you suppose that ______ and you show
that ______.
the statement is false; this supposition leads to a contradiction
2. A proof by contraposition of a statement of the form
"$\forall x \in D, \text{ if } P(x) \text{ then } Q(x)$" is a direct proof of
______.
$\forall x \in D, \text{ if } \neg Q(x) \text{ then } \neg P(x)$
3. To prove a statement of the form
"$\forall x \in D, \text{ if } P(x) \text{ then } Q(x)$" by contraposition,
you suppose that ______ and you show that ______.
$Q(x)$ is false; $P(x)$ is false.