https://9dok.net/document/q7wkeejv-aussagenlogik-syntax-semantik-entscheidungsprobleme.html