Source: http://www.isetn.rnu.tn/archives/fr/images/documents/cours/Syst%C3%A8mes%20logiques%20L1%201.pdf