https://9dok.net/document/qo5vgwj7-vorlesung-vom-aussagenlogik-und-natürliches-schließen.html