[Module PL] Predicate logic

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.
• Also, make sure that your browser can display the logical symbols correctly.

Tutorials

• [PL01] Singular terms
• [PL02] Variables and predicates
• [PL03] Quantifiers 1
• [PL04] Quantifiers 2
• [PL05] Well-formed formula
• [PL06] Interpretation
• [PL07] Domain
• [PL08] Validity
• [PL09] Other valid sequents
• [PL10] Derivations 1
• [PL11] Derivation rules
• [PL12] Derivations 2
• [PL13] Soundness and completeness

Further reading

• If you want to study more formal logic, you can check out this list of recommended books.