Logik für Studierende der Informatik. Markus Junker, Mathematisches Institut, Universität Freiburg, Wintersemester 2017/18 – Version von 27. Februar 2018, S. 44: https://home.mathematik.uni-freiburg.de/junker/skripte/InfoLogik.pdf