Discrete Mathematics - Logic
by Richard Kern MAT 125 Discrete Mathematics
To listen to an audio podcast, mouse over the title and click Play. Open iTunes to download and subscribe to iTunes U collections.
Description
Course Videos
| Name | Description | Released | Price | ||
|---|---|---|---|---|---|
| 1 | Video1.1 Intro To Logic | -- | 2/13/09 | Free | View In iTunes |
| 2 | Video1.2 Conditional Statements | -- | 2/13/09 | Free | View In iTunes |
| 3 | Video1.3 Valid Arguments | -- | 2/13/09 | Free | View In iTunes |
| 4 | Video1.4 Digital Circuits | -- | 2/13/09 | Free | View In iTunes |
| 5 | Video1.5 Number Systems | -- | 2/13/09 | Free | View In iTunes |
| 6 | VideoThe Quadratic Equation Song | -- | 3/27/09 | Free | View In iTunes |
| Total: 6 Episodes |
Customer Reviews
Error in second video
Negating the statement p -> ~m should be
~(p /\ (~m)) which distributes as. ~p /\ ~(~m) rather than the stated p /\ ~(~m). ... Right? At 8:25
Not an error
(A->B) is logically equivalent to (~A or B). So the negation of (A->B) is equivalent to (~~A and ~B) which is equivlent to (A and ~B). Replace A and B with p and ~m respectively. Then, the negation of (p->~m) is equivalent to (p and ~(~m)), which is also equivalent to (p and m).
