Logic and Modeling 2021: Lecture 6

Video 2: Natural deduction example

Video 3: Another natural deduction example

Video 4: One more natural deduction example