Slide 1 Predicate Logic Slide 2 Goal of Logic The goal of logic is to develop formal tests for validity. This is done by finding deductively valid argument forms. In SL,…