Propositional analysis

Summary