Aussagenlogik
Hier finden sich in loser Folge einige Übersichtsseiten zur Aussagenlogik.
Hier gibt es eine Reihe von Videos zu den Grundlagen der Aussagenlogik.
Auf einer von der Georg-August-Universität Göttingen zur Verfügung gestellten Seite wird die Logik sehr schön zusammengefasst.
http://lp.uni-goettingen.de/get/text/5825