Predicate Logic (PL) is a very well-known formal system of logic. It includes the whole of Sentential Logic (SL), which is discussed in a different module. Here, we shall discuss the basic properties of PL.
Before you start
Since SL is an important part of PL, you should make sure that you have studied SL before proceeding.