This assignment is concerned with formal proofs of valid logical implications wherein the premises and the conclusion are sentences of Predicate Logic. The solutions to the problems are to be proofs that are based around the proper application of replacement laws and inference rules of Predicate Logic. Several problems are based on exercises from the following excellent book on logic: In- troduction To Logic by Patrick Suppes, Dover Publications, 1992. 1. Consider the following two premises P and P2: Prove the following logical implication PB-3xA(x)