https://123dok.net/document/qmjrxwj4-punkte-beweisen-sequenzen-mittels-schlussregeln-methode-natürlichen-deduktion.html