Sign up to save your podcasts
Or
Share Lecture 07: PDFs of Powerpoint Slides
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Lecture 07: PDFs of Powerpoint Slides
Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated proofs.
View all episodes
By Rick GrushAdditional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated proofs.