Trautologie, Kontradiktion und Kontingenz hinzugefuegt