Slide 1Computer Science CPSC 322 Lecture 25 Top Down Proof Procedure (Ch 5.2.2) Slide 2 Announcements Two sets of practice exercises on logic are now available (#8 and #9)…