More Blocks—Negations and Implications
Lecture no. 4 from the course: Prove It: The Art of Mathematical Argument
Taught by Professor Bruce H. Edwards | 30 min | Categories: The Great Courses Plus Online Mathematics Courses
Continue your study of logic by looking at negations of statements and the logical operation called implication, which is used in most mathematical theorems. Professor Edwards opens the lecture with a fascinating example of the implication of a false hypothesis that appears to pose a logical puzzle.