faecher:informatik:oberstufe:techinf:formale_logik:grundlagen:start