[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

Tutorials

Further readings


homepagetopcontactsitemap

© 2004-2019 Joe Lau & Jonathan Chan