Computational Thinking: Logical Reasoning