eggy/eifueo
1
1
Fork 1
Code Issues 2 Pull Requests Releases Wiki Activity

ece108: complete converse contrapositive

Browse Source
This commit is contained in:
eggy 2023-01-11 13:30:32 -05:00
parent 7c099e75ad
commit 7bb5984746
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/1b/ece108.md
View File

@ -111,3 +111,11 @@ $$
An implication can be expressed as a disjunction. As long as it is stated, it can used as its definition.
$$p\implies \equiv (\neg p)\vee q$$
Two **converse** propositions imply each other:
$$p\implies q\text{ is the converse of }q\implies p$$
A **contrapositive** is the negatated converse, and is **logically equivalent to the original implication**. This allows proof by contrapositive.
$$\neg p\implies\neg q\text{ is the contrapositive of }q\implies p$$