Elements of Logical reasoning