MODULE: Predicate logic

Predicate Logic (PL) is a basic formal system of logic. It includes the whole of Sentential Logic (SL) which is discussed in a different module. However, we shall only look at a small part of PL here.

• 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

Further reading

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

<< previous page