in depth look at propositional logic 4767923