Download - Aussagenlogik - uni-bonn.de · PDF file 2016. 3. 22. · •Aussagenlogik: formale Art Aussagen, die in natürlichen Sprachen aufgestellt werden, aufzuschreiben •nicht immer Wort-