Kann man aus einer einzigen Prämisse eine Konklusion ziehen? Vorausgesetzt, dass die Aussage atomar ist, d.h. sie ist nicht reduzierbar auf anderen vom Inhalt her einfacheren Aussagen.
Atomare Aussagen in der Aussagenlogik sind Variablen.
Kennt man den Wahrheitswert einer Variablen, dann kann man dadurch nicht auf Wahrheitswerte anderer Variablen schließen.
