Propositional Logic: Introduction to Logic (v. 1)