Rules for Predicate Logic The system for predicate logic in this course is quite simple. We will learn 3 rules which can be used for proofs and also with trees. Rules for…