Sign up to save your podcasts
Or
Share Lecture 07: Audio
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Lecture 07: Audio
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.